Вернее фреймворка для построения операционных систем — именно такую терминологию предпочитают авторы из Genode Labs.

Данный конструктор микроядерных ОС поддерживает несколько микроядер из семейства L4, ядро Muen и собственное минималистичное ядро base-hw.

Разработки доступны под лицензией AGPLv3 и, по желанию, коммерческой лицензией: https://genode.org/about/licenses

Попытка сделать вариант, доступный для использования кем-то помимо энтузиастов разработки микроядер называется SculptOS: https://genode.org/download/sculpt

В данном релизе:

• полная переработка графического стека (в будущем позволит без проблем рестартовать драйвера в случае сбоя);
• улучшения в интеграции Qt, позволившие частично портировать браузер Falkon (что достаточно наглядно иллюстрирует степень готовности к использованию ОС обывателями);
• обновления подсистемы шифрования (написанной на SPARK/Ada!);
• обновления VFS;
• и множество других улучшений.

Из особенностей данного проекта можно отметить следующее:

• повсеместное использование xml в качестве формата конфигурации - что может вызвать идиосинкразию у некоторых комментаторов;
• эталонный уровень написания release notes и документации — если бы все открытые проекты придерживались подобных стандартов жизнь была бы легка и удивительна.

В целом проект радует регулярными релизами, активно и планомерно развивается и выглядит очень перспективным в качестве альтернативы GNU/Linux в светлом микроядерном будущем. Увы, отсутствие порта Emacs демотивирует автора новости от попыток познакомится с наработками проекта глубже, чем чтение документации.

ada, genode, microkernel, os, spark

http://feedproxy.google.com/~r/org/LOR/~3/JgQYHYAGgUE/15875972