Great, candid account of porting Genode to RISC-V: https://genode.org/documentation/articles/riscv (there are still kinks to be worked out)