Um usuário propõe usar o mais recente modelo de linguagem com um orçamento massivo de tokens para criar um sistema operacional completo open-source baseado no microkernel seL4. O plano envolve analisar o código-fonte do seL4, Genode e Linux para adaptar drivers e subsistemas para um ambiente baseado em seL4.
- O modelo analisaria o código dos repositórios seL4, seL4_libs, sel4-tutorials, sel4test e Genode.
- Ele adaptaria gradualmente drivers do Linux selecionados para hardware comum e adicionaria sistemas de arquivos úteis.
- O processo seria iterativo, envolvendo propostas de arquitetura, compilação, testes e correção de erros.
- O sistema resultante seria lançado como open-source em conformidade com as licenças existentes.
A postagem questiona se os modelos atuais poderiam completar partes significativas de tal projeto se os custos não fossem limitados e identifica obstáculos potenciais como manter planos de longo prazo ou depurar em hardware real.