A avut loc lansarea kernel-ului de separare (separation kernel) Muen, dezvoltat de compania elvețiană Codelabs.
Muen suportă doar platformele Intel x86_64 și garantează că nucleele de sistem de operare și aplicațiile rulate în acesta nu pot accesa resursele dincolo de limita alocată pentru ele. Acest lucru se aplică, printre altele, memoriei RAM, timpului procesorului și accesului la dispozitivele de intrare-ieșire.
Ca aplicații gazdă, sunt acceptate nucleul Linux, programele scrise în Ada/SPARK, precum și sistemele de operare bibliotecă scrise folosind cadrul Solo5 (de exemplu, MirageOS pe OCaml). Pentru Linux, sunt furnizate drivere de kernel pentru accelerarea accesului la PCI și alte resurse ale gazdei.
Muen este în întregime implementat în SPARK – un subset sigur al limbajului Ada – și a trecut verificarea pentru absența erorilor de execuție. Codul este distribuit sub licența GPLv3.
Sursa: linux.org.ru
