Doli i kernelit të ndarjes (separation kernel) Muen, i zhvilluar nga kompania zvicerane Codelabs.
Muen mbështet vetëm platformat Intel x86_64 dhe garanton që bërthamat e OS dhe aplikacioneve të drejtuara në të nuk mund të kenë qasje në burimet përtej kuotës së caktuar për ta. Kjo përfshin, ndër të tjera, memorjen operativ, kohën e procesorit dhe qasjen në pajisjet hyrëse-dalëse.
Si aplikacione mysafirësh, mbështeten bërthama Linux, programet në Ada/SPARK, si dhe sistemet operuese bibliotekash të shkruara duke përdorur kornizën Solo5 (p.sh., MirageOS në OCaml). Për Linux ofrohen drejtues të bërthamës për të përshpejtuar qasjen në PCI dhe burime të tjera të hostit.
Muen është plotësisht i implementuar në SPARK – një nëngrup i sigurt i gjuhës Ada – dhe ka kaluar verifikimin për të mos pasur gabime në kohën e ekzekutimit. Kodi shpërndahet nën licencën GPLv3.
Burimi: linux.org.ru
