Programmi di genode.org/

Il framework del sistema operativo Genode estende i kernel esistenti (ad esempio, microkernel o hypervisor) e fornisce un'API uniforme per le applicazioni. Supporto kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L