Un des intérets des micronoyaux est qu'il devient plus facile de démontrer qu'ils ne contiennent pas de bugs (et donc pas de failles de sécurité, non plus).
Le projet Coyotos (inspiré d'anciens noyaux similaires comme EROS) se propose d'en faire un très petit (atomique), qui aura une couche de compatibilité Linux, à l'aide d'un langage facilitant les preuves formelles (BitC): http://coyotos.org/(...) http://www.eros-os.org/(...)
# coyotos proven OS, inspiré de EROS
Posté par free2.org . En réponse à la dépêche Interview de Marcus Brinkmann, développeur du Hurd. Évalué à 10.
Le projet Coyotos (inspiré d'anciens noyaux similaires comme EROS) se propose d'en faire un très petit (atomique), qui aura une couche de compatibilité Linux, à l'aide d'un langage facilitant les preuves formelles (BitC):
http://coyotos.org/(...)
http://www.eros-os.org/(...)