What A Time To Be Alive
Taal kiezen: Nederlands

Rocky Linux-maker bouwt in elf dagen Linux-compatibele kernel met AI-agent

Gregory Kurtzer, bekend van CentOS en Rocky Linux, bouwde in elf dagen Ginux: een nieuwe kern voor een besturingssysteem die bestaande Linux-programma's kan draaien. Bijna alle code schreef een AI-agent van OpenAI. Het is nog een onderzoeksprototype.

Een hand wijst op een getekende bouwtekening van ringen, terwijl ernaast drie witte robotarmen de laatste onderdelen plaatsen in een gloeiende, ronde machinekern van printplaten en metalen ringen.
Illustratie: de mens tekent het plan, de AI-agent bouwt de kern.

Gregory Kurtzer, de maker van Rocky Linux en grondlegger van CentOS, heeft in elf dagen een nieuwe besturingssysteemkern gebouwd die Linux-programma's kan draaien. Het project heet Ginux. Het is geen aangepaste versie van Linux, maar een eigen kernel, geschreven in de programmeertaal Rust. Het meeste werk deed een AI-agent: één doorlopende taak in OpenAI Codex met het model GPT-5.6 Sol.

Een kernel is het hart van een besturingssysteem. Hij verdeelt het geheugen en de rekenkracht over programma's en regelt het contact met de hardware. Zo'n kern bouwen geldt als een van de lastigste klussen in de software.

Kurtzer is een bekende naam in de Linux-wereld. Hij maakte CentOS, een gratis versie van Red Hat Enterprise Linux. Toen Red Hat de koers van CentOS veranderde, startte hij Rocky Linux als alternatief van en voor de gemeenschap. Hij is ook medeoprichter van CIQ, het bedrijf dat ondersteuning rond Rocky Linux levert.

Wat Ginux kan en nog niet kan

Ginux heeft een eigen geheugenbeheer, een eigen manier om programma's om de beurt te laten rekenen, eigen bestandssystemen, een eigen netwerkdeel en eigen stuurprogramma's, allemaal vanaf nul geschreven. Toch kunnen bestaande Linux-programma's er ongewijzigd op draaien. Dat komt doordat Ginux dezelfde afspraken volgt waarmee programma's met de Linux-kernel praten. Linux is voor Ginux zo een soort 'gezicht' dat het naar programma's toont, niet de kern eronder.

De eerste resultaten zijn indrukwekkend. Ginux start Rocky Linux 10 op, tot het punt waarop het systeem klaarstaat voor gebruikers. Ook een aantal programma's van Alpine Linux, een kleine Linux-versie, werkt. Ginux kan programma's bovendien in strikt gescheiden afdelingen laten draaien, elk met eigen processen, geheugen en bestanden. Volgens het project zijn die grenzen strenger dan bij de containers die nu gangbaar zijn in datacenters.

Het is wel een onderzoeksprototype. Ginux draait voorlopig alleen in een virtuele machine, een nagebootste computer binnen een andere computer. Echte hardware, videokaarten en snelle NVMe-opslag worden nog niet ondersteund, en niemand heeft de beveiliging al onafhankelijk gecontroleerd. Linux 6.12 kent 375 systeemaanroepen: de vaste verzoeken die een programma aan de kernel kan doen. Daarvan werken er in Ginux 82 volledig en 245 gedeeltelijk. De overige 48 weigert Ginux bewust. Kurtzer zegt er zelf duidelijk bij dat Ginux niet bedoeld is als vervanging van Linux of voor gebruik in bedrijven. De code is openbaar, onder de Apache 2.0-licentie.

Hoe de samenwerking met de AI verliep

Kurtzer noemt zijn werkwijze Human-Directed Agentic Engineering: door mensen gestuurd bouwen met een AI-agent. De mens bepaalt de opbouw, de grenzen, de tussendoelen en wanneer iets af is. De agent doet de rest: code schrijven, opstarten, testen, fouten zoeken, verbeteren en opnieuw beginnen. In elf dagen leverde dat ongeveer 139.000 regels code en tests op, verdeeld over ruim 1.000 opgeslagen wijzigingen. Volgens zijn eigen schatting kostte het experiment zo'n 8.000 dollar, ongeveer 6.900 euro.

Kurtzer schreef bewust zelf geen code. Hij sloot zelfs zijn programmeeromgeving om de verleiding te weerstaan, en stuurde alleen bij door zijn eisen scherper te maken. Eén keer moest hij ingrijpen, toen de agent twee dagen weinig opschoot met een taak die te breed was omschreven. Volgens Kurtzer bleef Codex beter bij het doel dan de geavanceerde Claude-modellen van Anthropic, die vaker afdwaalden naar interessante zijpaden.

Voor Rust koos hij onder meer omdat die taal geheugenfouten al tegenhoudt voordat een programma draait. Bovendien schrijven programmeeragents volgens hem betrouwbaarder Rust dan C, de taal waarin Linux grotendeels is geschreven. De G in Ginux staat officieel voor GPT, met een knipoog naar Kurtzers eigen voornaam.

Wat betekent dit voor de weg naar de singulariteit?

Dit experiment laat zien hoe ver AI-agents zijn gekomen in groot, zelfstandig programmeerwerk. Eén ervaren ontwikkelaar die alleen stuurt, kreeg in elf dagen een werkende kernel die een volledige Linux-versie opstart. Zulke systeemsoftware vroeg tot nu toe veel meer mensen en tijd. Kurtzer benoemt zelf waar de grens nu ligt: code laten schrijven gaat snel, maar beveiliging, ondersteuning voor echte hardware en jarenlang onderhoud blijven het echte werk. De volgende stap is dat zulke agents ook dat deel steeds beter overnemen, zodat ideeën voor nieuwe software veel sneller te testen zijn.

Wat is de technologische singulariteit? Lees de uitleg →

Bronnen

  1. It's FOSS
  2. Хабр
  3. Hardware Upgrade
  4. Ginux op GitHub
  5. Technisch rapport Ginux (Zenodo)