Le cadre du système d’exploitation Genode étend les grains existants (p. ex., microkernel ou hyperviseur) et fournit une API uniforme pour les applications. Support noyau: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, et Linux (x86-32, x86-64)
historique de la version
- Version 11.02 posté sur 2011-02-25
Plusieurs correctifs et mises à jour - Version 11.02 posté sur 2011-02-25
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: genode.org/
- Licence: Gratuit
- Prix: N/A
- Version: 11.02
- Plate-forme: windows