De release van de scheidingskernel (separation kernel) Muen, ontwikkeld door een Zwitsers bedrijf Codelabs.
Muen ondersteunt alleen Intel x86_64-platforms en garandeert dat de in het systeem draaiende OS-kernels en applicaties geen toegang hebben tot hulpbronnen buiten de aan hen toegewezen quota. Dit betreft onder andere geheugen, CPU-tijd en toegang tot invoer-/uitvoerapparaten.
Als gasttoepassingen worden de Linux-kernel, programma's in Ada/SPARK en bibliotheek-OS'en ondersteund, die zijn geschreven met behulp van het Solo5-framework (bijvoorbeeld MirageOS in OCaml). Voor Linux worden er kerneldrivers geleverd om de toegang tot PCI en andere hostbronnen te versnellen.
De Muen is volledig geïmplementeerd in SPARK – een veilige subset van de Ada-taal – en is geverifieerd op afwezigheid van runtime-fouten. De code wordt verspreid onder de GPLv3-licentie.
Bron: linux.org.ru
