Similarly to #35 it would be nice to have a debuggable RISCV kernel
Similarly to #35 it would be nice to have a debuggable RISCV kernel