Megjelent a Muen elkülönítő kernel (separation kernel) Muen, amelyet egy svájci cég fejleszt Codelabs.
A Muen csak Intel x86_64 platformokat támogat, és garantálja, hogy az abban futó operációs rendszerek és alkalmazások nem férhetnek hozzá a számukra kijelölt erőforrásokon túli erőforrásokhoz. Ez magában foglalja a memóriát, a processzorteljesítményt és a bemeneti/kimeneti eszközökhöz való hozzáférést.
A vendégalkalmazások között támogatott a Linux kernel, Ada/SPARK programok, valamint a Solo5 keretrendszer használatával készült könyvtári operációs rendszerek (például MirageOS OCaml-on). A Linux számára olyan kernel driverek állnak rendelkezésre, amelyek gyorsítják a PCI és egyéb gazda erőforrásokhoz való hozzáférést.
A Muen teljes egészében SPARK nyelven valósult meg – az Ada biztonságos almennyisége – és átment a végrehajtási hibák nélküli verifikáción. A kód GPLv3 licenc alatt terjesztik.
Forrás: linux.org.ru
