Вернее фреймворка для построения операционных систем — именно такую терминологию предпочитают авторы из Genode Labs.
Разработки доступны под свободной лицензией AGPLv3 и, по желанию, коммерческой лицензией.
Попытка сделать вариант, доступный для использования кем-то, помимо энтузиастов разработки микроядер, называется SculptOS.
Приятной особенностью проекта является чрезвычайно подробная документация ОС, оформленная в виде регулярно обновляемой книги Genode Foundations.
В данном релизе:
-
обновлены:
- набор драйверов, портированных с GNU/Linux — до версии 5.14.21;
- подсистема трассировки;
- документация по портированию ОС на новые платформы - фактически отдельная полновесная книга Genode Platforms;
-
добавлены:
Интермедия: как и большинство современных смартфонов, PinePhone построен на основе 2 процессоров — основной ARM (где по умолчанию крутится GNU/Linux) и дополнительный энергоэффективный процессор, продолжающий работу когда основной ЦПУ уходит в саспенд для экономии батарейки. Последний называется SCP и представляет собой несколько кривоватую реализацию OpenRISC под названием AR100 c жёсткими ограничениями на объём памяти, доступный для программ, поскольку засыпая, ARM гасит и основной DRAM. Причём код, выполняющийся на SCP, имеет привилегированный доступ ко всей (!) памяти телефона, полностью игнорирующий любые механизмы защиты.
Авторов порта Genode не устроила функциональность прошивки SCP от проекта PinePhone под названием Crust, поэтому для большей гибкости был разработан интерпретатор Forth для AR100 и добавлена возможность динамической загрузки прошивок в виде Forth-программ. Это позволяет, например, в любой момент времени прочитать содержимое регистров и произвольного сегмента памяти основного процессора, что радикально упрощает процесс отладки.
В будущем планируется часть функциональности по работе с модемом PinePhone в ОС Genode перенести на SCP в виде Forth-программ.
>>> Подробности
