seL4 now open source

Ernst Rohlicek jun. ernst.rohlicek at ...258...
Mon Aug 4 23:58:21 CEST 2014


The seL4 microkernel has recently been open-sourced and is now hosted on

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.

More information about the users mailing list