Ginux Rust kernel runs Linux binaries without forking, AI-generated in 11 days

Gregory Kurtzer, founder of CentOS and Rocky Linux, has unveiled Ginux, a new kernel written in Rust that achieves binary compatibility with Linux applications without actually being Linux. The project was built through an AI agent that generated 139,000 lines of code across 11 days, establishing that a clean-room, Linux-compatible kernel can emerge without forking or porting the original codebase. Separately, the systemd engineering team has opened design partner signups for Amutable, an immutable, image-based operating system that delivers cryptographically signed updates and uses hardware attestations to verify machine state before deployment. Both projects represent divergent approaches to Linux ecosystem evolution: Ginux explores AI-accelerated kernel construction and Rust-based systems programming, while Amutable pursues supply-chain security through measured boot and atomic updates.

Kernel construction and immutable system architecture

• Ginux AI generation: An AI agent produced 139,000 lines of Rust code across 11 days to create a kernel that runs unmodified Linux binaries, demonstrating feasibility of clean-room Linux compatibility without source derivation.
• Rust kernel foundation: Ginux is built entirely in Rust, offering memory safety guarantees absent from the C-based Linux kernel while maintaining userspace binary compatibility.
• Amutable hardware attestation: The immutable distribution uses hardware-based attestations to cryptographically verify each machine's state before permitting signed update deployment, binding system integrity to TPM or similar roots of trust.
• Atomic image updates: Amutable ships every system change as a signed, image-based update rather than package-by-package mutation, enabling rollback and reducing drift between deployed systems.
• BeamFS radiation-aware filesystem: An unrelated RFC on the kernel mailing list proposes a filesystem prioritizing corruption detection over silent data serving, though it currently carries data loss warnings and lacks real radiation environment validation.

Why it matters

Ginux challenges assumptions about kernel development economics and licensing by showing AI-assisted clean-room implementation can produce viable Linux alternatives, potentially influencing future discussions around kernel monoculture and GPL compliance strategies. Amutable's marriage of systemd expertise with measured boot and atomic updates advances the state of supply-chain-hardened Linux distributions, offering a reference model for enterprises and government deployments requiring tamper-evident systems. Together, these projects illustrate expanding experimentation at Linux's foundational layers, from kernel language choice to deployment integrity mechanisms.