Programmes par genode.org/

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