Състоялось издаването на разделително ядро (разделително ядро) Muen, разработвано от швейцарската компания Codelabs.
Muen поддържа само платформи Intel x86_64 и гарантира, че стартираните в него ядра на ОС и приложения не могат да получат достъп до ресурсите извън предвидената за тях квота. Това включва, наред с другото, оперативна памет, процесорно време и достъп до устройства за вход-изход.
Като гостуващи приложения се поддържат ядро Linux, програми на Ada/SPARK, а също така библиотечни ОС, написани с използване на фреймуърка Solo5 (например, MirageOS на OCaml). За Linux са предоставени драйвери на ядрото за ускорен достъп до PCI и други ресурси на хоста.
Самият Muen е изцяло реализиран на SPARK – безопасно подмножество на езика Ada – и е преминал верификация за отсъствие на грешки при изпълнение. Кодът се разпространява под лицензия GPLv3.
Източник: linux.org.ru
