Rocky Linux-maker: AI bouwt Linux-compatibele kernel in elf dagen

Samenvatting

Ginux is in elf dagen gebouwd met OpenAI Codex en draait Linux-software op een volledig eigen kernel.

Ginux en OpenAI Codex: wat er gebeurt

Gregory Kurtzer, maker van CentOS en Rocky Linux, ontwikkelde Ginux met OpenAI Codex. De kernel is volledig geschreven in Rust en werkt op x86-64-processors. Ginux is geen fork van Linux: de kernel bevat eigen onderdelen voor onder meer geheugenbeheer, taakplanning, bestandssystemen, netwerkfuncties en apparaatondersteuning.

De compatibiliteit zit in de Linux-ABI. Daardoor kan Ginux een Linux-userspace draaien, waaronder die van Rocky Linux 10, en kunnen bestaande Linux-programma’s functioneren. Codex schreef het grootste deel van de code en voerde tests uit op basis van een architectuur, beperkingen en acceptatiecriteria die Kurtzer opstelde. Na meer dan honderd commits ontstond 139.000 regels code.

Ginux als AI-geschreven kernel

Ginux laat vooral zien hoe de taakverdeling bij softwareontwikkeling verschuift. Kurtzer bepaalde het ontwerp en de kwaliteitsgrenzen; Codex verzorgde een groot deel van de implementatie en testcyclus. Dat maakt de menselijke rol niet overbodig. Juist bij een kernel bepalen architectuurkeuzes, foutafhandeling en beveiligingscriteria of de code bruikbaar is.

De technische status begrenst de betekenis van het project. Ginux draait momenteel alleen in een virtuele machine, heeft nog geen hardwareondersteuning en is niet door een onafhankelijke partij op beveiliging onderzocht. Linux-compatibiliteit vervangt die controles niet. Een ABI kan programma’s laten draaien, maar zegt niets over prestaties, stuurprogramma’s of betrouwbaarheid onder belasting.

Concrete takeaway voor Ginux en Rust

Beoordeel AI-gegenereerde systeemsoftware op aantoonbare eigenschappen, niet op het aantal regels code of de korte ontwikkeltijd. Wie Ginux technisch wil volgen, kijkt eerst naar hardwareondersteuning, onafhankelijke beveiligingsanalyse, testdekking en gedrag buiten de virtuele machine. De aanpak van Kurtzer biedt daarbij een bruikbaar referentiepunt: leg architectuur, beperkingen en acceptatiecriteria vast voordat een AI-agent code produceert.