Izšla je različica za ločitveno jedro (separation kernel) Muen, ki ga razvija švicarsko podjetje Codelabs.
Muen podpira le platforme Intel x86_64 in zagotavlja, da jedra operacijskih sistemov in aplikacije, ki se izvajajo v njem, ne morejo dostopati do virov, ki presegajo dodeljeno kvoto. To vključuje tudi operativno pomnilnik, procesorski čas in dostop do vhodno-izhodnih naprav.
Kot gostiteljske aplikacije so podprti Linux jedro, programi v Ada/SPARK ter knjižnice OS, napisane z uporabo okvira Solo5 (na primer, MirageOS na OCaml). Za Linux so na voljo gonilniki jedra za pospešitev dostopa do PCI in drugih virov gostitelja.
Samo Muen je v celoti implementiran v SPARK - varni podmnožici jezika Ada - in je bil verificiran na odsotnost napak med izvajanjem. Koda je na voljo pod licenco GPLv3.
Izvor: linux.org.ru
