Mais precisamente, uma estrutura para a construção de sistemas operacionais - esta é a terminologia preferida pelos autores do Genode Labs.
Este designer de sistema operacional de microkernel suporta vários microkernels da família L4, o kernel Muen e seu próprio kernel base-hw minimalista.
Os desenvolvimentos estão disponíveis sob licença AGPLv3 e, mediante solicitação, licença comercial: https://genode.org/about/licenses
Uma tentativa de disponibilizar uma opção para uso por alguém que não seja entusiasta do microkernel é chamada de SculptOS: https://genode.org/download/sculpt
Nesta versão:
- redesenho completo da pilha gráfica (no futuro permitirá reiniciar os drivers sem problemas em caso de falha)
- melhorias na integração do Qt, que possibilitaram a portabilidade parcial do navegador Falkon (o que ilustra claramente o grau de prontidão para uso do SO por pessoas comuns)
- atualizações no subsistema de criptografia (escrito em SPARK/Ada!)
- Atualizações VFS
- e muitas outras melhorias
As características deste projeto incluem o seguinte:
- uso generalizado de xml como formato de configuração - o que pode causar idiossincrasia para alguns comentaristas
- nível padrão de redação de notas de lançamento e documentação - se todos os projetos de código aberto aderissem a padrões semelhantes, a vida seria fácil e incrível
Em geral, o projeto agrada com lançamentos regulares, está em desenvolvimento ativo e sistemático e parece muito promissor como uma alternativa ao GNU/Linux em um futuro brilhante de microkernel. Infelizmente, a falta de uma porta Emacs desmotiva o autor da notícia de tentar conhecer mais profundamente o desenvolvimento do projeto do que ler a documentação.
Fonte: linux.org.ru