seL4 now open source

Norman Feske norman.feske at ...1...
Tue Aug 12 20:30:24 CEST 2014

Hello Ernst,

thank you for the notice. I am very excited about the GPL release of
seL4 and definitely considering it as a base platform for Genode, alone
for the opportunity to get involved with the talented folks at Sydney. I
am happy that the barrier that came with the proprietary development of
seL4 evaporated finally.


On 08/04/2014 11:58 PM, Ernst Rohlicek jun. wrote:
> 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.

Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list