De scheidingskern werd vrijgegeven (scheiding kern) Muen, ontwikkeld door een Zwitsers bedrijf codelabs.
Muen ondersteunt alleen Intel x86_64-platforms en zorgt ervoor dat OS-kernels en applicaties die erop draaien geen toegang hebben tot bronnen die verder gaan dan hun toegewezen quotum. Dit geldt onder meer voor RAM, CPU-tijd en toegang tot I/O-apparaten.
De kernel wordt ondersteund als gasttoepassing. Linux, Ada/SPARK-programma's, evenals bibliotheekbesturingssystemen geschreven met behulp van het Solo5-framework (bijvoorbeeld MirageOS in OCaml). Linux Kernelstuurprogramma's worden geleverd om de toegang tot PCI en andere hostbronnen te versnellen.
Muen zelf is volledig geïmplementeerd in SPARK, een veilige subset van de Ada-taal, en er is geverifieerd dat het geen runtime-fouten bevat. De code wordt gedistribueerd onder de GPLv3-licentie.
Bron: linux.org.ru
