Planning for Genode on Risc-V ?

Dear Norman and fellow Genodians..

Taking note of Johanne's efforts to bring up the Genode OS to run on the LEON_3 CPU http://www.gaisler.com/index.php/products/processors/leon3... prompted me to do a little catching up. Risc-V http://riscv.org/ the current very promising state of Open source CPU core design.... here is the current state of Risc_V's software tool chain http://riscv.org/download.html#tab_tools...

..it seems we might want to think about how Genode's tool chain support could evolve to handle this fairly promising open Risc platform.... such that as lowRISC http://www.lowrisc.org/ come's into it's existence, running Genode on it might be just the ticket.

all the best -Peter