Het grote plaatje: Het schrijven van een besturingssysteemkernel helemaal vanaf nul kost doorgaans een team van ervaren engineers jaren. Gregory Kurtzer, die CentOS medeoprichtte en later Rocky Linux lanceerde, zegt dat hij er echter één in 11 dagen heeft gebouwd — grotendeels door een AI-agent de code te laten schrijven. Zelfs zonder enige Linux-code eronder kan zijn nieuwe kernel al Rocky Linux 10 opstarten. Toch is het nog steeds duidelijk een onderzoeksprototype.
Kurtzer onthulde de kernel, Ginux, vorige week op X. De code staat ook op GitHub, onder de Apache 2.0-licentie. Wat de naam betreft: die combineert Linux, GPT en Greg. De README maakt de grap dat om de ego van de auteur in toom te houden de G officieel voor GPT staat.
Ondanks de naam is Ginux geen fork van Linux. Alles, van geheugenbeheer en scheduling tot bestandenystemen en netwerken, is vanaf nul geschreven, grotendeels in Rust. Wat het wél deelt met Linux is de ABI, zodat ongemodificeerde Linux-programma’s er direct op kunnen draaien.
In de README wordt Linux beschreven als een “persoonlijkheid” die de kernel aan software presenteert. Dat is de enige persoonlijkheid die tot nu toe is gebouwd; BSD wordt in de toekomst als mogelijkheid genoemd.
Dat ene “persoonlijkheid” heeft echter nog flinke hiaten. Van de 375 system calls in de x86-64-interface van Linux 6.12 implementeert Ginux er volledig slechts 82. Nog eens 245 werken gedeeltelijk. De resterende 48 zijn opzettelijk geblokkeerd.
Software op Ginux draait binnen geïsoleerde “domeinen”, elk met eigen processen, geheugen en bestandssysteem. Het project presenteert deze als een strengere scheiding dan containers, hoewel Ginux nog steeds standaard OCI-containerimages ophaalt om de bestanden voor elk domein samen te stellen. Zo krijgt het Rocky Linux 10 zover dat het systemd’s multi-user target bereikt.
In een technisch rapport noemt Kurtzer zijn aanpak Human-Directed Agentic Engineering. Hij bepaalde zelf de architectuur, de mijlpalen en de acceptatiecriteria. De agent deed de rest: van het schrijven van code tot het opstarten van de kernel, het testen en het repareren van wat stukging.
Dat alles draaide als één langlopende OpenAI Codex-taak met gebruik van GPT-5.6 Sol. In de 11 dagen leverde het ongeveer 139.000 regels code en tests op, verdeeld over meer dan 1.000 commits. Reële distributies zoals Rocky Linux brachten ook bugs aan het licht die de synthetische tests van het project misten.
Toch is Ginux vooralsnog strikt een onderzoeksproject. Niemand heeft de beveiliging onafhankelijk geaudit. Het draait bovendien volledig binnen een QEMU-virtuele machine, omdat er geen ondersteuning is voor fysieke hardware, GPU’s of NVMe-schijven. Kurtzer zelf zegt dat AI nu complexe systeemsoftware kan schrijven, maar dat zaken als compatibiliteit, beveiliging en langetermijnonderhoud “de echte verdedigingswal blijven.”
Ondertussen raken Linux’s eigen ontwikkelaars meer gewend aan AI. Vorige maand liet Linus Torvalds Claude Code een set experimentele page-cache-patches schrijven. Reviewers ontdekten al snel een raceconditie in die patches, dus het werk is nog in beoordeling. Rond hetzelfde moment kwamen kernel-maintainers overeen om niet langer te eisen dat bijdragers AI-geassisteerde code openlijk melden.
