Programma's van genode.org/

Het Genode-besturingssysteemframework breidt bestaande kernels (bijvoorbeeld microkernel of hypervisor) uit en biedt een uniforme API voor toepassingen. Ondersteuning voor kernel: L4ka::P istache, OKL4 (ARM, x86), CodeZero, N