Bizarre that the README.md does not specify that this is for RISC-V.
I also went to look to see where "console output" was implemented, and ... it looks like it's just not? ConsoleWriter.write() calls kernel.putChar, which does not exist...
I also went to look to see where "console output" was implemented, and ... it looks like it's just not? ConsoleWriter.write() calls kernel.putChar, which does not exist...