Programy według genode.org/

Struktura systemu operacyjnego Genode rozszerza istniejące jądra (np. mikrojądro lub hipernadzorcy) i zapewnia jednolity interfejs API dla aplikacji. Obsługa jądra: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco