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
