Il nucleo di separazione Γ¨ stato rilasciato (nocciolo di separazione) Muen, sviluppato da un'azienda svizzera Codelab.
Muen supporta solo piattaforme Intel x86_64 e garantisce che i kernel del sistema operativo e le applicazioni in esecuzione su di esso non possano accedere alle risorse oltre la quota assegnata. CiΓ² vale tra l'altro per la RAM, il tempo della CPU e l'accesso ai dispositivi I/O.
Il kernel Γ¨ supportato come applicazione guest. Linux, programmi Ada/SPARK, nonchΓ© sistemi operativi di libreria scritti utilizzando il framework Solo5 (ad esempio, MirageOS in OCaml). Per Linux I driver del kernel vengono forniti per accelerare l'accesso alle risorse PCI e ad altre risorse dell'host.
Muen stesso Γ¨ interamente implementato in SPARK, un sottoinsieme sicuro del linguaggio Ada, ed Γ¨ stato verificato che non presenta errori di runtime. Il codice Γ¨ distribuito sotto la licenza GPLv3.
Fonte: linux.org.ru
