Программы genode.org/

Структура операционной системы Genode расширяет существующие ядра (например, микрокернель или гипервизор) и предоставляет единый API для приложений. Поддержка ядра: L4ka::P istachio, OKL4 (ARM, x86), Кодезеро, NOVA, L4/Fiasco