Gregory Kurtzer, fundador das distribuições CentOS e Rocky Linux, apresentou o projeto Ginux, que desenvolve o núcleo do sistema operacional na linguagem Rust, visando alcançar compatibilidade com o núcleo Linux. O protótipo de pesquisa publicado já é capaz de inicializar o ambiente do sistema das distribuições Alpine com BusyBox e Rocky Linux 10 com systemd em modo de console multiusuário. O código do projeto é distribuído sob a licença Apache 2.0. A operação em sistemas com arquitetura x86-64 é suportada.
O protótipo foi criado em 11 dias como parte de um experimento na aplicação da técnica de desenvolvimento HDAE (Human-Directed Agentic Engineering) para criar projetos complexos, no nível do núcleo Linux. Ao utilizar o método HDAE, o código é gerado por um agente de IA (utilizando o Codex com o modelo GPT-5.6 Sol), enquanto o humano se concentra no desenvolvimento da arquitetura, na tomada de decisões, na coordenação do trabalho, na formulação do plano de desenvolvimento e na definição dos critérios de prontidão dos componentes em desenvolvimento. Agentes de IA também são utilizados para testes, revisões e diagnóstico de problemas.
O projeto não tenta copiar tecnologias do núcleo Linux, mas cria suas próprias implementações compatíveis com base nelas. O Ginux fornece um sistema de gerenciamento de memória independente, um planejador de tarefas, um processo de inicialização, um modelo de processos, sistemas de arquivos, uma pilha de rede, drivers de dispositivos e uma camada para compatibilidade com Linux ABI. O núcleo do Ginux é carregado diretamente através do UEFI, sem a necessidade de um sistema Linux hospedeiro.
O Ginux ainda não pretende substituir o Linux e não está pronto para ser utilizado em sistemas de produção, mas já é adequado para experimentação e testes. A longo prazo, o projeto é visto como um sistema operacional para execução em contêineres isolados de componentes para infraestrutura de IA. O nome Ginux foi formado como uma combinação das palavras GPT/Gregory e Linux. A base da plataforma para testes é uma máquina virtual Q35 (Intel Q35/ICH) com OVMF (Open Virtual Machine Firmware), Intel IOMMU e dispositivos virtio. KVM máquina virtual Q35 (Intel Q35/ICH) com OVMF (Open Virtual Machine Firmware), Intel IOMMU e dispositivos virtio.
Dos 375 chamadas de sistema do kernel Linux 6.12, 82 foram totalmente implementadas, 245 parcialmente e 48 bloqueadas por razões de segurança. Para identificar falhas que não podem ser detectadas em testes sintéticos, a operação do kernel é avaliada ao rodar aplicativos reais e bibliotecas, como musl, glibc, BusyBox e systemd.
Entre os planos:
- Garantir a execução de componentes de espaço do usuário em distribuições Linux sem usar o kernel Linux.
- Capacidade de criar isolados domínios com seus próprios conjuntos de processos, espaço de endereçamento, sistemas de arquivos, dispositivos, recursos e ciclo de vida independente.
- Preparação de uma imagem de boot autossuficiente.
- Fornecimento de um ambiente de controle mínimo no espaço do usuário (userspace control plane), permitindo gerenciar o kernel sem executar código no anel de proteção zero.
- Sistema de controle de acesso operando no nível de objetos nomeados.
- Suporte para execução isolada de imagens de contêiner no formato OCI.
Fonte: opennet.ru
