Die Veröffentlichung des Trennkerns (separation kernel) Muen, entwickelt von einem Schweizer Unternehmen Codelabs.
Muen unterstützt nur Intel x86_64 Plattformen und garantiert, dass die darin laufenden Betriebssystemkerne und Anwendungen keinen Zugriff auf Ressourcen haben, die über das ihnen zugewiesene Kontingent hinausgehen. Dies betrifft unter anderem den Arbeitsspeicher, die Prozessorzeit und den Zugriff auf Ein- und Ausgabegeräte.
Als Gastanwendungen werden der Linux-Kernel, Programme in Ada/SPARK sowie Bibliotheks-OS, die mit dem Solo5-Framework geschrieben sind (z.B. MirageOS in OCaml), unterstützt. Für Linux stehen Kernel-Treiber zur Verfügung, um den Zugriff auf PCI und andere Hostressourcen zu beschleunigen.
Muen selbst ist vollständig in SPARK – einem sicheren Untermenge der Programmiersprache Ada – implementiert und wurde auf die Abwesenheit von Laufzeiterrors verifiziert. Der Code wird unter der GPLv3-Lizenz verbreitet.
Quelle: linux.org.ru
