Gregory Kurtzer cria o kernel Ginux com IA em 11 dias
O criador do CentOS e do Rocky Linux apresentou o Ginux, um kernel experimental escrito principalmente em Rust que já pode executar alguns programas Linux sem o kernel Linux.
Gregory Kurtzer, criador do CentOS e do Rocky Linux, desenvolveu em apenas 11 dias um novo kernel de sistema operacional com ajuda da IA.
O projeto se chama Ginux. Ele já permite executar alguns programas para Linux sem recorrer ao próprio kernel Linux.
Kurtzer definiu a arquitetura do sistema e orientou o desenvolvimento, enquanto o Codex escreveu e verificou cerca de 139 mil linhas de código.
O Ginux foi criado principalmente em Rust. Tem seus próprios mecanismos de gerenciamento de memória, escalonador de tarefas e subsistema de rede. Além disso, em uma máquina virtual, o sistema já carrega o Rocky Linux 10 junto com o systemd.
Por enquanto, o Ginux continua sendo um projeto experimental: a compatibilidade ainda está longe de ser completa e o suporte a hardware é limitado. O código-fonte foi publicado sob a licença Apache 2.0.
Onze dias foram suficientes para lançar a base de um novo sistema operacional. Agora falta torná-lo confiável.
Código do projeto: Ginux.
Por que isso importa
AnáliseO caso mostra como assistentes de IA podem encurtar a fase inicial de desenvolvimento de software de sistemas, embora confiabilidade, compatibilidade e suporte a hardware ainda exijam engenharia profunda.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores
Relacionado no ecossistema
Guias práticos, terminologia essencial e skills de agentes
Atualização do ChatGPT: Desenvolvimento e Fluxos de Trabalho com Plugins e Codex
Guia prático completo para criar, empacotar, testar e publicar plugins para ChatGPT e Codex: especificação do manifesto, servidores MCP, hooks de ciclo de vida, marketplaces personalizados e o processo de revisão da OpenAI.
Parte II. Como trabalhar com Codex + otimização/segurança/equipe
Codex não é apenas autocompletar código no chat, mas um agente de engenharia completo: ele lê o repositório, planeja alterações, edita arquivos, executa testes, verifica seus próprios diffs e sabe trabalhar...
Cgroups v2: Quotas de Recursos e Watchdogs OOM
Mecanismos do kernel Linux (Control Groups v2) para estabelecer limites rígidos de hardware em RAM, CPU, disco e número de processos (PIDs), visando proteger o host contra ciclos de agentes travados.
Segurança eBPF e Auditoria de Runtime
Tecnologia de execução segura de bytecode diretamente no kernel do Linux (eBPF / Tetragon / Falco) para interceptar chamadas de sistema perigosas (syscalls), conexões de rede e modificações de arquivos realizadas por agentes de IA.