Wednesday 22nd November 09:00 UTC


  • Been visiting family, so not much progress.

  • Plan to:

    • update FOSDEM travel costs
    • submit talk proposal
    • continue formal verif.
  • When considering RISC-V ISA:

    • Binutils support - covered by new potential grant application
    • Compiler support - gcc, although initially assembly is primary

    • Didn't get stand, could still bring FPGA and possibly do a live demo.
    • A new demo where hex file format could be uploaded to FPGA via UART?
      • Might be easier to just program the SPI flash separately
      • hex file commonly format (monitor program): column, address, num of bytes, data, checksum