Separačné jadro bolo uvoľnené (separačné jadro) Muen, vyvinutý švajčiarskou spoločnosťou kódové laboratóriá.
Muen podporuje iba platformy Intel x86_64 a zaisťuje, že jadrá OS a aplikácie na ňom bežiace nebudú mať prístup k zdrojom nad rámec ich pridelenej kvóty. Týka sa to okrem iného pamäte RAM, času CPU a prístupu k I/O zariadeniam.
Jadro je podporované ako hosťovské aplikácie. Linux, programy Ada/SPARK, ako aj knižničné operačné systémy napísané pomocou frameworku Solo5 (napríklad MirageOS v OCaml). Pre Linux Ovládače jadra sú poskytované na zrýchlenie prístupu k PCI a iným hostiteľským zdrojom.
Samotný Muen je úplne implementovaný v SPARK, zabezpečenej podmnožine jazyka Ada, a bolo overené, že neobsahuje runtime chyby. Kód je distribuovaný pod licenciou GPLv3.
Zdroj: linux.org.ru
