Programas por genode.org/

A estrutura do sistema operacional Genode estende os kernels existentes (por exemplo, micronúcleo ou hipervisor) e fornece uma API uniforme para aplicações. Suporte ao kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA