Језгро за раздвајање је пуштено (језгро раздвајања) Муен, развијен од стране швајцарске компаније Цоделабс.
Муен подржава само Интел к86_64 платформе и осигурава да језгра ОС-а и апликације које се на њему покрећу не могу да приступе ресурсима изван њихове додељене квоте. Ово се, између осталог, односи на РАМ, ЦПУ време и приступ И/О уређајима.
Језгро је подржано као гостујуће апликације. Linux, Ada/SPARK програми, као и библиотечки оперативни системи написани помоћу Solo5 фрејмворка (на пример, MirageOS у OCaml-у). За Linux Кернел драјвери су обезбеђени да би се убрзао приступ PCI и другим ресурсима хоста.
Сам Муен је у потпуности имплементиран у СПАРК-у, безбедном подскупу језика Ада, и верификовано је да нема грешака током извршавања. Код се дистрибуира под ГПЛв3 лиценцом.
Извор: линук.орг.ру
