Není to ani půl roku, co byl operační systém Plan9 přelicencován na GNU GPLv2 a díky tomuto otevření z něj lze kód například přímo využít v Linuxu. Teď přichází další dobrá zpráva: otevření zdrojových kódů mikrojádra seL4. Vlastní jádro bude licencováno pod GPLv2 (tj. stejně jako Linux), knihovny a nástroje pod licencí BSD.
Jádro seL4 patří mezi mikrojádra rodiny L4 a smyslem jeho vzniku bylo vytvoření základu pro vysoce bezpečné a spolehlivé systémy. Tvůrci se chlubí vysokou kvalitou tohoto mikrojádra, která je zajišťována matematickou verifikací kódu na jeho shodu s formální specifikací. Implementace mikrojádra seL4 podporuje architektury x86 a ARM.