Coyotos
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Coyotos est un système d'exploitation à micronoyau sécurisé, actuellement développé à partir de l'expérience et des idées du projet Eros. Il est réalisé en collaboration par le laboratoire de recherche de l'université Johns Hopkins et la startup The Eros Group, sous la direction de Jonathan Shapiro.
Les équipes du projet Coyotos collaborent actuellement avec les développeurs du Hurd-NG; et les deux projets pourraient à terme partager le même micronoyau.
Sommaire |
[modifier] Langage
Tandis que le micronoyau lui-même est actuellement réalisé en C, le reste du système d'exploitation sera développé dans le langage BitC, créé spécialement pour ce projet par l'équipe Coyotos à des fins de vérifiabilité.
[modifier] Conception
Le micronoyau de Coyotos sera de seconde génération, atomique et asynchrone. Le système lui-même sera entièrement fondé sur le principe des capabilités, et n'emploiera pas de système de fichiers au sens classique du terme.
Le système fournira aux processus utilisateurs la possibilité de créer des projections privées protégées contre toute observation extérieure, fût-ce par le propriétaire de la machine. Cette fonctionnalité devrait notamment permettre l'implémentation d'un système solide de DRM, dont Jonathan Shapiro est un fervent défenseur. Cette position pose d'ailleurs quelques difficultés dans la collaboration avec le Hurd.
[modifier] Cibles
Actuellement, Coyotos est développé pour deux architectures : les processeurs x86 et ColdFire.
[modifier] Histoire
Coyotos est le successeur d'Eros, qui a lui-même succédé à KeyKos.
Le 25 septembre 2007, Coyotos réalisa son premier démarrage public.
[modifier] Perspectives
L'un des buts du projet est la réalisation du premier système d'exploitation entièrement vérifiable.
La première application pratique du système sera son intégration dans des matériels médicaux critiques.
