O núcleo de separación foi lanzado (núcleo de separación) Muen, desenvolvido por unha empresa suíza Codelabs.
Muen só admite plataformas Intel x86_64 e garante que os núcleos do sistema operativo e as aplicacións que se executan nel non poden acceder a recursos máis aló da súa cota asignada. Isto aplícase, entre outras cousas, á memoria RAM, ao tempo da CPU e ao acceso aos dispositivos de E/S.
O núcleo é compatible como aplicacións convidadas. Linux, programas Ada/SPARK, así como sistemas operativos de biblioteca escritos usando o framework Solo5 (por exemplo, MirageOS en OCaml). Para Linux Os controladores do núcleo ofrécense para acelerar o acceso a PCI e outros recursos do host.
Muen está totalmente implementado en SPARK, un subconxunto seguro da linguaxe Ada, e comprobouse que está libre de erros de execución. O código distribúese baixo a licenza GPLv3.
Fonte: linux.org.ru
