Sprostitev jedra separatorja se je zgodila (ločilno jedro) Muen, ki ga je razvilo švicarsko podjetje codelabs.
Muen podpira samo platforme Intel x86_64 in zagotavlja, da jedra operacijskega sistema in aplikacije, ki se izvajajo na njem, ne morejo dostopati do virov, ki presegajo dodeljeno kvoto. To vključuje RAM, čas procesorja in dostop do V/I naprav.
Jedro je podprto kot gostujoče aplikacije. Linux, programe Ada/SPARK, kot tudi knjižnične operacijske sisteme, napisane z uporabo ogrodja Solo5 (na primer MirageOS v OCaml). Za Linux Gonilniki jedra so na voljo za pospešitev dostopa do PCI in drugih virov gostitelja.
Muen sam je v celoti implementiran v SPARK-u, varni podmnožici jezika Ada, in je preverjeno, da ne vsebuje napak med izvajanjem. Koda je distribuirana pod licenco GPLv3.
Vir: linux.org.ru
