Gregory Kurtzer, the founder of the CentOS and Rocky Linux distributions, introduced the Ginux project, which develops an operating system kernel in Rust aimed at achieving compatibility with the Linux kernel. The published research prototype is already capable of booting the system environment of the Alpine distributions with BusyBox and Rocky Linux 10 with systemd in a multi-user console mode. The project code is distributed under the Apache 2.0 license. It supports operation on x86-64 architecture systems.
The prototype was created in 11 days as part of an experiment using the HDAE (Human-Directed Agentic Engineering) development technique to create complex projects at the level of the Linux kernel. Using the HDAE method, the code is generated by an AI agent (using Codex with the GPT-5.6 Sol model), while the human focuses on architectural development, decision-making, work coordination, development planning, and defining the readiness criteria of the developed components. AI agents are also involved in testing, reviewing, and diagnosing issues.
The project does not attempt to copy technologies from the Linux kernel but creates its own compatible implementations with an eye on them. Ginux provides independent memory management, task scheduling, boot processes, process models, file systems, network stacks, device drivers, and a layer for Linux ABI compatibility. The Ginux kernel boots directly through UEFI without relying on a host Linux system.
Ginux does not yet claim to replace Linux and is not ready for use in production systems, but it is already suitable for experimentation and testing. In the long term, the project is considered as an operating system for running isolated container components for AI infrastructure. The name Ginux is formed as a combination of the words GPT/Gregory and Linux. The testing platform is launched using a hypervisor. KVM the Q35 virtual machine (Intel Q35/ICH) with OVMF (Open Virtual Machine Firmware), Intel IOMMU, and virtio devices.
Od 375 sistemskih poziva jezgra Linux 6.12 u potpunosti je implementirano 82, delimično 245, a 48 je blokirano iz bezbednosnih razloga. Da bi se otkrili problemi koje nije moguće identifikovati u sintetičkim testovima, rad jezgra se procenjuje tokom pokretanja stvarnih aplikacija i biblioteka, kao što su musl, glibc, BusyBox i systemd.
Među planovima:
- Obezbeđivanje pokretanja komponenti korisničkog prostora Linux distribucija bez korišćenja jezgra Linux.
- Mogućnost kreiranja izolovanih domena sa sopstvenim skupovima procesa, adresnim prostorom, datotečnim sistemima, uređajima, resursima i nezavisnim životnim ciklusom.
- Priprema samodovoljnog boot imidža.
- Obezbeđivanje minimalnog upravljačkog okruženja u korisničkom prostoru (userspace control plane) koje omogućava upravljanje jezgrom bez izvršavanja koda na nultom nivou zaštite.
- Sistem upravljanja pristupom koji funkcioniše na nivou imenovanih objekata.
- Podrška za izolovano pokretanje kontejnerskih imidža u OCI formatu.
Izvor: opennet.ru
