Ginux: criador do Rocky Linux desenvolve novo kernel com IA em 11 dias

By | 08/11/2026

Um novo projeto de investigação pretende demonstrar a capacidade dos agentes de inteligência artificial para acelerar tarefas de engenharia de software de elevada complexidade. A iniciativa partiu de Gregory Kurtzer, programador conhecido por ser o cofundador do CentOS e o criador do Rocky Linux, que revelou a 3 de novembro de 2026 o Ginux, um kernel construído na sua maioria através de ferramentas de IA num período de apenas 11 dias.

O desenvolvimento do código teve como base a linguagem Rust e foi direcionado para a arquitetura de processadores x86-64. Para atingir este resultado em pouco mais de uma semana, o responsável recorreu a uma abordagem de trabalho denominada HDAE (Human-Directed Agentic Engineering). Neste modelo de produção, a escrita direta e a correção de falhas no código ficam entregues aos sistemas automatizados, enquanto o engenheiro humano assume a responsabilidade de definir os objetivos, traçar a arquitetura de base e implementar as baterias de testes para validar o software.

Toda a geração estrutural ficou a cargo de uma tarefa contínua executada na plataforma OpenAI Codex, que operou com recurso ao modelo GPT-5.6 Sol. Esta execução automatizada originou cerca de 139.000 linhas de código, um volume que já contabiliza as rotinas de validação e testes. Como Kurtzer optou por não editar manualmente os ficheiros gerados, focando o seu trabalho apenas na verificação de qualidade, surgiram alguns bloqueios técnicos. Num dos momentos mais críticos da experiência, o agente de IA permaneceu dois dias seguidos estagnado sem conseguir progredir na tarefa, situação que só foi ultrapassada quando o programador reformulou a descrição do problema entregue à máquina.

Compatibilidade com o Rocky Linux 10 sem usar o kernel tradicional

Ao contrário do que acontece numa distribuição convencional, este projeto não integra o kernel Linux tradicional, apresentando antes um sistema próprio para a gestão de memória. Para permitir a execução de software existente, o código inclui uma camada de compatibilidade ao nível da ABI (interface binária de aplicação, a componente responsável por definir como os programas compilados comunicam a baixo nível com o sistema operativo).

Esta camada de tradução binária já permitiu arrancar com sucesso o sistema Rocky Linux 10 sobre o Ginux, conseguindo levar o ambiente até ao modo multiutilizador gerido pelo systemd. O software encontra-se atualmente na fase de protótipo de investigação e está preparado para correr em ambientes de máquinas virtuais QEMU, mantendo ainda uma compatibilidade incompleta com o universo Linux e um suporte reduzido para componentes físicos de hardware.

(TT)