Dear Samuel, Thank you for your feedback.
I am in the process of polishing the GCC configuration files and I will send them a patch for the riscv64-gnu backend shortly. It is indeed a trivial change with no more than 100 lines. For the Mach, I'm planning on getting a simple kprintf working and tidying some things out. Then, I'll send a patch for review. Best, Hakan
