Тусгаарлах цөм гарсан (салгах цөм) Швейцарийн компаниас боловсруулсан Muen Коделабс.
Muen нь зөвхөн Intel x86_64 платформуудыг дэмждэг бөгөөд үүн дээр ажиллаж байгаа үйлдлийн системийн цөм болон програмууд нь хуваарилагдсан квотоос хэтэрсэн нөөцөд хандах боломжгүй гэдгийг баталгаажуулдаг. Энэ нь бусад зүйлсийн дунд RAM, CPU-ийн цаг, оролт гаралтын төхөөрөмжид хандахад хамаарна.
Линуксийн цөм, Ada/SPARK программууд, мөн Solo5 фреймворк ашиглан бичигдсэн номын сангийн үйлдлийн системүүд (жишээ нь, OCaml дээрх MirageOS) нь зочин программуудаар дэмжигддэг. PCI болон бусад хост эх үүсвэрүүдэд хандах хандалтыг хурдасгахын тулд Linux-д цөмийн драйверуудыг өгсөн.
Muen нь өөрөө Ada хэлний найдвартай дэд хэсэг болох SPARK-д бүрэн хэрэгжсэн бөгөөд ажиллах үеийн алдаагүй гэдгийг баталсан. Энэ кодыг GPLv3 лицензийн дагуу түгээдэг.
Эх сурвалж: linux.org.ru