DearNorman and fellow Genodians..Taking note of Johanne's efforts to bring up the Genode OS to run on the LEON_3 CPU... prompted me to do a little catching up. Risc-V the current very promising state of Open source CPU core design.... here is the current state of Risc_V's software tool chain.....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 come's into it's existence, running Genode on it might be just the ticket.all the best-Peter