Lëshimi i kernelit të ndarjes (kernel ndarjeje) Muen, e zhvilluar nga kompania zvicerane Codelabs.
Muen mbështet vetëm platformat Intel x86_64 dhe garanton se baret e sistemit operativ dhe aplikacionet e ekzekutuara në të nuk mund të aksesojnë burimet përtej kuotës së caktuar për ta. Kjo përfshin, mes të tjerash, kujtesën e përkohshme, kohën e procesorit dhe aksesin në pajisjet e hyrjes-daljes.
Si aplikacione mysafire mbështeten baret Linux, programet në Ada/SPARK, si dhe sistemet operative të bibliotekës të shkruara duke përdorur kornizën Solo5 (p.sh., MirageOS në OCaml). Për Linux janë ofruar shoferët e kernelit për të përshpejtuar aksesin në PCI dhe burime të tjera të hostit.
Muen është krejtësisht i implementuar në SPARK – një nëndegë e sigurt e gjuhës Ada – dhe ka kaluar verifikimin për mungesë gabimesh në kohën e ekzekutimit. Kodi shpërndahet nën licencën GPLv3.
Burimi: linux.org.ru
