## Cesar
--
+- 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
+
+- FOSDEM:
+ - 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
[[!tag meeting2023]]
[[!tag meeting_sync_up]]