seL4 now open source

[Ernst R. jun. <ern...@in...>]

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.