Greetings, The seL4 microkernel has recently been open-sourced and is now hosted on GitHub. It features high performance and includes proof of formal correctness, ie. freedom of bugs. Maybe this has relevance for your Genode OS framework regarding expanding the choice of base platforms.