Resumo:
Desenvolver um kernel de sistema operacional do zero geralmente leva vários anos para uma equipe de engenheiros experientes. No entanto, o cofundador do CentOS e iniciador do projeto Rocky Linux, Gregory Kurtzer, demonstrou recentemente um resultado bastante especial: ele usou agentes de inteligência artificial para criar um novo kernel do sistema operacional Ginux em apenas 11 dias. Este kernel não usa nenhum código do kernel Linux, mas já pode inicializar o Rocky Linux 10. Embora ainda seja um protótipo de pesquisa, este projeto mostra uma nova possibilidade para a IA participar no desenvolvimento de software subjacente complexo.
Kurtzer anunciou o projeto Ginux pela primeira vez na semana passada por meio da plataforma social X. O código relevante também foi carregado no GitHub e adotou a licença de código aberto Apache 2.0. O nome Ginux combina os três elementos do Linux, GPT e Greg. A introdução do projeto chegou a brincar que, para evitar que o autor se engrandeça demais, a letra G deveria ser interpretada como GPT.
Ginux não é um fork do Linux, nem copia componentes do kernel do código Linux existente. Seu gerenciamento de memória, agendamento de processos, sistema de arquivos e funções de rede são todos escritos do zero e desenvolvidos principalmente na linguagem Rust. O que ele realmente compartilha com o Linux é a Application Binary Interface (ABI). Ou seja, o Ginux simula a interface do sistema fornecida pelo Linux para o software, para que programas originalmente escritos para Linux possam ser executados sem modificar o código.
O desenvolvedor do projeto descreve esse design como: Linux não é apenas uma implementação de kernel, mas também pode ser considerado como uma "personalidade" ou ambiente de compatibilidade apresentado pelo kernel ao software aplicativo. Atualmente, o Ginux implementa apenas o modo de compatibilidade Linux, e a possibilidade de adicionar o modo de compatibilidade BSD não está descartada no futuro.
No entanto, o Ginux ainda está longe de ser totalmente compatível com o Linux. De acordo com a documentação do projeto, tomando como referência a interface x86-64 do Linux 6.12, apenas 82 de suas 375 chamadas de sistema foram totalmente implementadas, outras 245 podem funcionar apenas parcialmente e as 48 restantes estão intencionalmente definidas como indisponíveis. Isso significa que, embora já possa executar alguns softwares Linux existentes, ainda não pode ser considerado um substituto maduro do Linux de uso geral.
O Ginux também introduz um conjunto de mecanismos de isolamento chamados "Domínios". O software é executado em um ambiente isolado e cada domínio possui processos, espaço de memória e sistemas de arquivos independentes. O projeto espera que este mecanismo proporcione limites de isolamento mais fortes do que os contentores tradicionais. No entanto, o Ginux ainda pode usar imagens de contêiner OCI padrão para construir sistemas de arquivos para cada domínio. É desta forma que foi possível carregar o Rocky Linux 10 e avançar a inicialização do sistema para o destino multiusuário do systemd.
O aspecto mais interessante deste desenvolvimento é o papel da inteligência artificial. Kurtzer chama sua abordagem de "Engenharia Agente Dirigida por Humanos" em um relatório técnico. Ele é responsável por determinar a arquitetura geral, formular fases de desenvolvimento e critérios de aceitação, enquanto o agente de inteligência artificial é responsável pela maior parte do trabalho de execução subsequente, incluindo escrever código, iniciar o kernel, executar testes e modificar o código após descobrir problemas.
Todo o processo é concluído por uma tarefa OpenAI Codex em execução contínua, e o modelo usado é GPT-5.6 Sol. Em 11 dias, a IA gerou um total de aproximadamente 139 mil linhas de código e conteúdo de teste e completou mais de 1.000 envios de código. Durante o processo de desenvolvimento, a distribuição real Rocky Linux também desempenhou um papel importante: expôs alguns problemas que os casos de teste construídos artificialmente não conseguiram encontrar quando foi realmente iniciado e executado.
No entanto, Kurtzer não empacotou o Ginux em um sistema operacional pronto para produção. Atualmente, o projeto ainda está totalmente executado na máquina virtual QEMU. Ele ainda não suporta inicialização direta em hardware físico e não há suporte para dispositivos de armazenamento GPU e NVMe. Além do mais, o Ginux ainda não passou por auditorias de segurança independentes e sua segurança não pode ser totalmente verificada.
Kurtzer acredita que a inteligência artificial agora tem a capacidade de escrever software de sistema complexo, mas a parte realmente difícil não desapareceu. A compatibilidade de software, a segurança e as capacidades de manutenção a longo prazo ainda são barreiras importantes que determinam se um sistema operacional pode realmente ter sucesso. Por outras palavras, a IA pode encurtar significativamente o processo de desenvolvimento de código a partir do zero, mas não pode garantir automaticamente que esses códigos sejam suficientemente fiáveis, nem pode substituir a verificação de engenharia a longo prazo.
Ao mesmo tempo, a comunidade de desenvolvimento do kernel Linux também está gradualmente tentando introduzir ferramentas de IA. No mês passado, o fundador do Linux, Linus Torvalds, usou Claude Code para escrever um conjunto de patches experimentais de cache de página, mas os revisores descobriram mais tarde que havia condições de corrida, então o código relevante ainda está sob revisão. Na mesma época, os mantenedores do kernel Linux também concordaram em não exigir mais que os contribuidores divulgassem se seu código era assistido por IA.
A importância do Ginux pode não ser o fato de ele poder substituir imediatamente o Linux, mas o fato de ele demonstrar um novo modelo de engenharia de software: os humanos são responsáveis pelos objetivos, pela arquitetura e pelas principais decisões, e os agentes de IA são responsáveis por uma grande quantidade de implementação específica e trabalho de teste. Sistemas complexos que antes levavam anos para tomar forma agora podem ter um protótipo funcional em uma fração do tempo. No entanto, ainda é um longo caminho de engenharia passar de um protótipo para um sistema operacional verdadeiramente confiável que possa se adaptar a uma ampla gama de hardware e ser mantido a longo prazo.
Comentários