La publication du noyau de séparation (separation kernel) Muen, développé par une entreprise suisse Codelabs.
Muen prend en charge uniquement les plates-formes Intel x86_64 et garantit que les noyaux et applications qui s'exécutent dans celui-ci ne peuvent pas accéder aux ressources au-delà de leur quota alloué. Cela inclut, entre autres, la mémoire vive, le temps CPU et l'accÚs aux dispositifs d'entrée-sortie.
Les applications invitées prises en charge comprennent le noyau Linux, les programmes en Ada/SPARK, ainsi que les systÚmes d'exploitation basés sur des bibliothÚques écrites à l'aide du framework Solo5 (par exemple, MirageOS en OCaml). Pour Linux, des pilotes de noyau sont fournis pour accélérer l'accÚs au PCI et à d'autres ressources hÎtes.
Le noyau Muen est entiĂšrement implĂ©mentĂ© en SPARK â un sous-ensemble sĂ©curisĂ© du langage Ada â et a Ă©tĂ© vĂ©rifiĂ© pour l'absence d'erreurs d'exĂ©cution. Le code est distribuĂ© sous la licence GPLv3.
Source : linux.org.ru
