../ bios.bin 29-Dec-2019 18:13 11084 bios.elf 29-Dec-2019 18:13 98904 boot-helper-vexriscv.d 29-Dec-2019 11:20 94 boot-helper-vexriscv.o 29-Dec-2019 11:20 1712 boot.d 29-Dec-2019 18:13 2075 boot.o 29-Dec-2019 18:13 77232 isr.d 29-Dec-2019 18:13 1343 isr.o 29-Dec-2019 18:13 37904 main.d 29-Dec-2019 18:13 2466 main.o 29-Dec-2019 18:13 96312 sdram.d 29-Dec-2019 18:13 1724 sdram.o 29-Dec-2019 18:13 58592