Genode OS Framework

Genode
Разработчик	Genode Labs и многочисленные разработчики по всему миру
Последняя версия	24.11 (22 ноября 2024)
Тип ядра	микроядро
Лицензия	GNU GPL
Состояние	актуальное
Репозиторий исходного кода	github.com/genodelabs/ge…
Веб-сайт	genode.org (англ.)

Genode OS Framework — открытая микроядерная операционная система, которая предоставляет унифицированное окружение для создания приложений, работающих как поверх ядра Linux, так и поверх микроядер Fiasco.OC, OKL4, L4ka::Pistachio и некоторых других. Паравиртуализованное ядро L4Linux, работающее поверх ядра Fiasco.OC, позволяет запускать в Genode прикладные программы для GNU/Linux. При этом ядро L4Linux не имеет непосредственный доступ к аппаратному обеспечению, а использует сервисы Genode через набор драйверов.