Ločevalno jedro je bilo sproščeno (ločevalno jedro) Muen, ki ga je razvilo švicarsko podjetje codelabs.
Muen podpira samo platforme Intel x86_64 in zagotavlja, da jedra OS in aplikacije, ki se izvajajo na njem, ne morejo dostopati do virov, ki presegajo dodeljeno kvoto. To med drugim velja za RAM, procesorski čas in dostop do V/I naprav.
Jedro Linuxa, programi Ada/SPARK in knjižnični operacijski sistemi, napisani z uporabo ogrodja Solo5 (na primer MirageOS na OCaml), so podprti kot gostujoče aplikacije. Gonilniki jedra so na voljo za Linux za pospešitev dostopa do PCI in drugih virov gostitelja.
Sam Muen je v celoti implementiran v SPARK, varni podmnožici jezika Ada, in je bilo preverjeno brez napak med izvajanjem. Koda se distribuira pod licenco GPLv3.
Vir: linux.org.ru