Byl vydán oddělovací kernel (separation kernel) Muen, vyvíjený švýcarskou společností Codelabs.
Muen podporuje pouze platformy Intel x86_64 a zaručuje, že jádra operačního systému a aplikace spuštěné v něm nemohou získat přístup k prostředkům nad rámec přidělené kvóty. To zahrnuje i operační paměť, procesorový čas a přístup k zařízením pro vstup a výstup.
Jako hostitelské aplikace jsou podporovány jádro Linux, programy v Ada/SPARK a také knihovní operační systémy napsané pomocí rámce Solo5 (např. MirageOS na OCaml). Pro Linux jsou k dispozici ovladače jádra pro urychlení přístupu k PCI a dalším prostředkům hostitele.
Samotný Muen je zcela implementován v SPARK – bezpečné podmnožině jazyka Ada – a prošel ověřením na absence runtime chyb. Kód je distribuován pod licencí GPLv3.
Zdroj: linux.org.ru
