Toimus eralduskorneri väljaanne (separation kernel) Muen, mille arendab šveitsi ettevõte Codelabs.
Muen toetab ainult Intel x86_64 platvorme ja tagab, et selles töötavad operatsioonisüsteemi tuumad ja rakendused ei saa juurde pääseda ressurssidele, mis ületavad nendele määratud kvooti. See kehtib sealhulgas, kuid mitte ainult, töömälu, protsessorite aja ja sisend- / väljundseadmete juurde pääsu kohta.
Külastusrakendustena toetatakse Linuxi tuuma, Ada/SPARK programme ja ka raamatukogu operatsioonisüsteeme, mis on kirjutatud Solo5 raamistikuga (nt MirageOS OCaml-is). Linuxi jaoks on pakutud tuuma draivereid, et kiirendada pääsu PCI ja teiste hosti ressursside juurde.
Muen ise on täielikult rakendatud SPARK-is – Ada keele turvaline alamhulk – ja on läbinud kontrolli, et tuvastada, et seal ei ole jooksuaegseid vigu. Kood levitatakse GPLv3 litsentsi alusel.
Allikas: linux.org.ru
