Gregory M. Kurtzer anunciou o Ginux em 27 de outubro de 2026 como um kernel experimental independente, escrito principalmente em Rust e voltado a x86-64. O projeto documenta uma inicialização de Rocky Linux 10 com systemd em uma máquina virtual QEMU. O resultado se limita a esse fluxo: o registro de chamadas Linux do Ginux é incompleto e um checkpoint avaliado não passou no teste agregado.
O fluxo Rocky Linux 10 fica restrito ao QEMU
O Ginux não é um fork do Linux. É um kernel próprio que implementa uma personalidade de compatibilidade Linux x86-64, isto é, interfaces usadas por determinados programas Linux. O projeto documenta a inicialização por UEFI com uma única imagem, GINUX.EFI, e define como alvo de desenvolvimento uma máquina virtual QEMU x86-64 Q35, com OVMF, Intel IOMMU e dispositivos virtio.
Na demonstração com Rocky Linux 10, o systemd chegou ao alvo multi-user.target, que inicia serviços para um sistema multiusuário. O repositório especifica a imagem rockylinux/rockylinux:10-ubi-init para esse fluxo. Já a imagem-base rockylinux/rockylinux:10 não contém systemd.
| Imagem Rocky Linux | Relação com systemd no fluxo descrito |
rockylinux/rockylinux:10-ubi-init | Imagem usada no fluxo documentado com systemd. |
rockylinux/rockylinux:10 | Imagem-base que não contém systemd. |
O registro Linux 6.12 mostra compatibilidade parcial
O projeto classifica os 375 números de chamadas de sistema do Linux 6.12 x86-64 em três grupos. Uma chamada de sistema é uma solicitação que um programa faz ao kernel para acessar uma função do sistema, como operações de arquivo ou processo.
| Disposição no registro do projeto | Chamadas de sistema Linux 6.12 x86-64 |
| Completas | 82 |
| Parciais | 245 |
| Negadas por política | 48 |
| Total classificado | 375 |
O próprio projeto ressalta que classificar todos esses números não equivale à conformidade completa com Linux. A documentação também descreve programas selecionados do Alpine Linux, com musl e BusyBox, e do Rocky Linux, com glibc. Esses casos delimitam os fluxos relatados; não são uma garantia de que qualquer binário ou distribuição Linux rode no Ginux.
O checkpoint avaliado não passou em make test
O checkpoint examinado no relatório técnico, datado de 23 de outubro de 2026, não passou no teste agregado make test. O repositório registra uma falha em uma verificação do ciclo de vida do supervisor do sistema após execve(), a chamada que substitui o programa em execução por outro. Esse resultado pertence ao checkpoint avaliado; Gregory M. Kurtzer anunciou o Ginux quatro dias depois, em 27 de outubro.
O que o experimento com IA descreve
Kurtzer e seu relatório técnico atribuem o desenvolvimento do Ginux a um esforço de 11 dias, com cerca de 139 mil linhas mantidas de código de implementação e testes, produzidas em uma tarefa persistente do OpenAI Codex com GPT-5.6 Sol. São números relatados pelo criador.
Kurtzer chama o método de Human-Directed Agentic Engineering (HDAE), ou engenharia agêntica dirigida por humanos. Nessa abordagem, a pessoa define arquitetura, restrições, etapas e critérios de aceitação; o agente implementa e participa de um ciclo de testes e revisões. O projeto classifica o Ginux como protótipo de pesquisa, não como kernel pronto para produção ou substituto do Linux.
