Miezul de separare a fost eliberat (nucleu de separare) Muen, dezvoltat de o companie elvețiană Codelabs.
Muen acceptă doar platformele Intel x86_64 și se asigură că nucleele de sistem de operare și aplicațiile care rulează pe acesta nu pot accesa resursele dincolo de cota lor alocată. Acest lucru se aplică, printre altele, memoriei RAM, timpului CPU și accesului la dispozitivele I/O.
Nucleul este suportat ca aplicații guest. Linux, programe Ada/SPARK, precum și sisteme de operare de tip bibliotecă scrise folosind framework-ul Solo5 (de exemplu, MirageOS în OCaml). Pentru Linux Driverele de kernel sunt furnizate pentru a accelera accesul la PCI și la alte resurse gazdă.
Muen în sine este implementat în întregime în SPARK, un subset securizat al limbajului Ada, și a fost verificat ca nu conține erori de rulare. Codul este distribuit sub licența GPLv3.
Sursa: linux.org.ru
