eric-xtang1008/boot-wrapper-riscv64

a simple bootloader, run on spike

C