Linux: Rocky-Gründer lässt Kernel von KI schreiben

Gregory Kurtzer, Gründer der Linux-Distributionen CentOS und Rocky Linux sowie Mitgründer des Unternehmens CIQ, hat mit Ginux einen eigenen Betriebssystemkernel vorgestellt. Den Großteil des Codes hat nicht er selbst geschrieben, sondern ein KI-Agent. Laut dem Projekt-Repository arbeitete eine einzige, durchgehend laufende Aufgabe in OpenAI Codex mit dem Modell GPT-5.6 Sol elf Tage lang an dem Kernel. Dabei entstanden rund 139.000 Zeilen Implementierungs- und Testcode in 1.097 Git-Commits. Die Kosten für die API-Aufrufe schätzt Kurtzer auf rund 8.000 US-Dollar.

Linux als „Persönlichkeit”

Ginux ist kein Fork des Linux-Kernels, sondern ein eigenständiger Kernel für die Architektur x86-64, der überwiegend in Rust geschrieben ist. Speicherverwaltung, Scheduler, Prozessmodell, Dateisysteme, Netzwerkstack und Gerätetreiber wurden neu entwickelt. Zugleich implementiert Ginux die Binärschnittstelle (ABI) von Linux, über die kompilierte Programme mit dem Kernel kommunizieren. Bestehende Linux-Programme laufen dadurch ohne Änderungen. Laut Repository deckt Ginux 375 Systemaufrufe der Schnittstelle von Linux 6.12 ab, teils vollständig, teils eingeschränkt. Das Projekt bezeichnet Linux als „Persönlichkeit”, die Ginux nach außen zeigt, nicht als den Kernel, der darunter läuft. Der Name setzt sich laut Kurtzer aus Linux, GPT und Greg zusammen.

Der Kernel wird als einzelne Datei GINUX.EFI ausgeliefert und startet direkt über UEFI. In einer virtuellen Maschine unter QEMU bootet er Rocky Linux 10 bis zum Systemzustand multi-user.target von systemd.

Mensch gibt die Architektur vor

Kurtzer nennt seine Methode Human-Directed Agentic Engineering. Der Mensch legt Architektur, Anforderungen, Rahmenbedingungen, Meilensteine und Abnahmekriterien fest, der KI-Agent übernimmt Implementierung, Tests, Fehlersuche und Überarbeitung. Mit dem Projekt wollte Kurtzer prüfen, ob sich komplexe Softwaresysteme auf diese Weise in kurzer Zeit entwickeln lassen. Seine Erfahrung mit Betriebssystemen sei dabei entscheidend gewesen, um Anforderungen festzulegen und die Arbeit des Agenten zu beurteilen.

Noch keine echte Hardware

„Ginux ist ein Forschungsprototyp, kein Produktiv-Kernel und kein Ersatz für Linux”, heißt es im Repository. Der Kernel läuft bislang nur in QEMU, ein Profil für physische Hardware gibt es nicht, ebenso wenig Unterstützung für Grafikprozessoren oder NVMe-Datenträger. Eine unabhängige Sicherheitsprüfung hat nicht stattgefunden. Erste Leistungsmessungen will Kurtzer auf einem Linux-Host mit KVM wiederholen und um Tests für Netzwerk, Speicher und Interprozesskommunikation erweitern. Einen technischen Bericht hat er auf der Plattform Zenodo veröffentlicht.

(red)