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
