Ilmus eralduskernel (separation kernel) Muen, mida arendab Šveitsi ettevõte Codelabs.
Muen toetab ainult Intel x86_64 platvorme ja garanteerib, et selles käivitatud operatsioonisüsteemi tuumad ja rakendused ei saa juurdepääsu ressurssidele, mis ületavad neile määratud kvooti. See kehtib sealhulgas, kuid mitte ainult, muutmälu, protsessoriaja ja sisend-väljundseadmete juurdepääsu kohta.
Külgrakendustena toetatakse Linuxi tuuma, Ada/SPARK programme ja ka tarkvarapõhiseid OS-e, mis on kirjutatud Solo5 raamistikus (näiteks MirageOS OCamlil). Linuxile on pakutud tuumajuhte, et kiirendada juurdepääsu PCI ja teiste hosti ressurssidele.
Muen on täielikult kirjutatud SPARKis – Ada ohutust alamsüsteemist – ja on läbinud verifitseerimise, et seal ei ole tõrkeid käitamise ajal. Kood on välja antud GPLv3 litsentsi alusel.
Allikas: linux.org.ru
