на сайте Genode OS (микроядерная ОС реального времени с несколькими вариантами микроядер и управленцев виртуальных машин, на видеокартах Интел поддерживается GPU внутри ВМ) наткнулся на статьи о портировании драйверов из Линукс в Genode. Чем хороши: описывается связь dtb с драйверами и тп. В других местах такой понятной информации мне пока на глаза не попадалось (пока ещё не нашёл времени на чтение, просмотрел только начало)
Да, до сих пор в целях удобства разработки Genode запускали на Интел (хотя сами микроядра пришли с Арм, в частности ядро okL4, которое использовали на смартфона на чипах MSM фирмы Qualcomm). Но теперь начали переносить систему обратно на Arm64. В частности, на Raspberry (Allwinner) и Rockchchip
https://genodians.org/nfeske/2021-05-12-pine-fun-linux
https://genodians.org/nfeske/2021-05-19-pine-dts-pruning
Автор сообщения в Telegram: Сергей Глазунков
Обзорная статья про ситуацию в мире Arm (от этого автора там много интересных статей)
https://genodians.org/nfeske/2019-11-20-arm-soc-landscape
Автор сообщения в Telegram: Сергей Глазунков
Ссылка на сообщение в Telegram