Озодшавии ядрои ҷудокунанда сурат гирифт (ядрои ҷудокунӣ) Муен, ки аз ҷониби як ширкати швейтсарӣ таҳия шудааст кодлабҳо.
Muen танҳо платформаҳои Intel x86_64-ро дастгирӣ мекунад ва кафолат медиҳад, ки ядроҳои системаи амалиётӣ ва барномаҳои дар он коркунанда наметавонанд ба захираҳо берун аз квотаи ҷудошуда дастрасӣ пайдо кунанд. Ин RAM, вақти CPU ва дастрасӣ ба дастгоҳи вуруд/хуруҷро дар бар мегирад.
Ядро ҳамчун барномаҳои меҳмон дастгирӣ карда мешавад. Linux, барномаҳои Ada/SPARK, инчунин системаҳои оператсионии китобхона, ки бо истифода аз чаҳорчӯбаи Solo5 навишта шудаанд (масалан, MirageOS дар OCaml). Барои Linux Драйверҳои ядроӣ барои суръат бахшидан ба дастрасӣ ба PCI ва дигар захираҳои мизбон пешниҳод карда мешаванд.
Худи Muen пурра дар SPARK, як зермаҷмӯи амни забони Ada, амалӣ карда шудааст ва аз хатогиҳои иҷроӣ озод буданаш тасдиқ шудааст. Ин код тибқи иҷозатномаи GPLv3 паҳн карда мешавад.
Манбаъ: linux.org.ru
