Hello everyone,
Genode's 16.02 release added support for the RISC-V CPU architecture. As a follow-up, we just published an experience report where we examine the RISC-V design in more detail. Also, we take an in depth look at the steps that were necessary and the challenges we met in order to enable our base-hw kernel and Genode for this platform. The article can be found at:
http://genode.org/documentation/articles/riscv
Cheers,
Sebastian