Tarafından Programlar genode.org/

Genode işletim sistemi çerçevesi mevcut çekirdekleri (örn. mikrokernel veya hipervizör) genişletir ve uygulamalar için tek tip bir API sağlar. Çekirdek desteği: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco ve