Na verdade, é o framework para a construção de sistemas operacionais — é essa a terminologia preferida pelos autores da Genode Labs.
Este construtor de sistemas operacionais de microkernel suporta vários microkernels da família L4, o núcleo Muen e seu próprio núcleo minimalista base-hw.
As desenvolvimentos estão disponíveis sob a licença AGPLv3 e, se desejado, sob licença comercial: https://genode.org/about/licenses
A tentativa de criar uma versão acessível para uso por pessoas além dos entusiastas do desenvolvimento de microkernels é chamada SculptOS: https://genode.org/download/sculpt
Nesta versão:
- uma reformulação completa da pilha gráfica (que no futuro permitirá reiniciar os drivers em caso de falha sem problemas)
- melhorias na integração do Qt, que permitiram portar parcialmente o navegador Falkon (o que ilustra bem o nível de prontidão do sistema operacional para uso por leigos)
- atualizações do subsistema de criptografia (escrito em SPARK/Ada!)
- atualizações do VFS
- e muitas outras melhorias
Entre as características deste projeto, destacam-se as seguintes:
- uso generalizado de xml como formato de configuração — o que pode causar idiossincrasias em alguns comentaristas
- nível exemplar de redação de release notes e documentação — se todos os projetos de código aberto seguissem esses padrões, a vida seria fácil e surpreendente
No geral, o projeto se destaca por lançamentos regulares, desenvolve-se ativa e sistematicamente e parece muito promissor como uma alternativa ao GNU/Linux em um futuro brilhante de microkernels. Infelizmente, a ausência de uma versão do Emacs desmotiva o autor da notícia a tentar se aprofundar mais no projeto além da leitura da documentação.
Fonte: linux.org.ru
