No mês passado, o sistema operacional microkernel livre (AGPLv3) Genode, ou melhor, uma estrutura generalizada para a construção desses sistemas, nos surpreendeu com o lançamento 26.02:
- migração do repositório para Codeberg do Github;
- atualização do Linux DDE (Device Driver Environment) para 6.18 LTS;
- suporte SDL3;
- suporte Especificação GSS em Goa;
- um conjunto de pequenas alterações e melhorias.
Com este projeto, é possível construir um sistema operacional usando um dos microkernels suportados, um conjunto de drivers de dispositivos (do GNU/Linux), alguma memória e uma infinidade de componentes nativos e software portado (via Goa) — descrevendo a configuração de como tudo isso interage usando o mencionado HID (anteriormente, era utilizado XML, o que gerou uma boa quantidade de problemas 🙂
A compilação de referência feita pelos autores chama-se Sculpt e segue seu próprio ciclo de lançamentos. Segundo eles, existem pessoas em nosso planeta que utilizam isso como seu sistema operacional principal no dia a dia.
Fonte: linux.org.ru
