OSDN -- Développer et télécharger des logiciels Open Source
Traduction statut du Français translation status for fr

Télécharger des README (README ( lien externe: SourceForge.net): 812 octets) va bientôt commencer. Sinon, cliquez sur README ( lien externe: SourceForge.net).

Informations sur le fichier

Taille du fichier
812 octets
MD5
2fef015b154d93d2150b53b34554c250

Où voulez-vous aller après?

Description du projet

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs.