แกนแยกถูกปล่อยออกมา (เคอร์เนลการแยก) Muen พัฒนาโดยบริษัทสัญชาติสวิส โค้ดแล็บ.
Muen รองรับเฉพาะแพลตฟอร์ม Intel x86_64 และรับประกันว่าเคอร์เนลระบบปฏิบัติการและแอปพลิเคชันที่ทำงานบนนั้นไม่สามารถเข้าถึงทรัพยากรเกินโควต้าที่จัดสรรไว้ สิ่งนี้ใช้กับ RAM, เวลา CPU และการเข้าถึงอุปกรณ์ I/O เหนือสิ่งอื่นใด
เคอร์เนล Linux, โปรแกรม Ada/SPARK รวมถึงไลบรารี OS ที่เขียนโดยใช้เฟรมเวิร์ก Solo5 (เช่น MirageOS บน OCaml) ได้รับการรองรับเป็นแอปพลิเคชันแบบแขก ไดรเวอร์เคอร์เนลมีไว้สำหรับ Linux เพื่อเพิ่มความเร็วในการเข้าถึง PCI และทรัพยากรโฮสต์อื่นๆ
Muen นั้นถูกนำไปใช้งานทั้งหมดใน SPARK ซึ่งเป็นชุดย่อยที่ปลอดภัยของภาษา Ada และได้รับการยืนยันว่าไม่มีข้อผิดพลาดรันไทม์ รหัสนี้เผยแพร่ภายใต้ใบอนุญาต GPLv3
ที่มา: linux.org.ru