Zusammenfassung:
Die Entwicklung eines Betriebssystemkernels von Grund auf dauert in der Regel mehrere Jahre durch ein Team erfahrener Ingenieure. Allerdings zeigte CentOS-Mitbegründer und Rocky-Linux-Projektinitiator Gregory Kurtzer kürzlich ein ganz besonderes Ergebnis: Er nutzte Agenten der künstlichen Intelligenz, um in nur 11 Tagen einen neuen Betriebssystemkernel Ginux zu erstellen. Dieser Kernel verwendet keinen Linux-Kernel-Code, kann aber bereits Rocky Linux 10 booten. Obwohl es sich noch um einen Forschungsprototyp handelt, zeigt dieses Projekt eine neue Möglichkeit für KI, sich an der Entwicklung komplexer zugrunde liegender Software zu beteiligen.
Kurtzer hat das Ginux-Projekt letzte Woche erstmals über die soziale Plattform X angekündigt. Der entsprechende Code wurde auch auf GitHub hochgeladen und hat die Open-Source-Lizenz Apache 2.0 übernommen. Der Name Ginux vereint die drei Elemente Linux, GPT und Greg. In der Projekteinführung wurde sogar gescherzt, dass der Buchstabe G als GPT interpretiert werden sollte, um zu verhindern, dass der Autor zu sehr auf sich selbst eingeht.
Ginux ist kein Fork von Linux und kopiert auch keine Kernel-Komponenten aus vorhandenem Linux-Code. Seine Speicherverwaltung, Prozessplanung, Dateisystem- und Netzwerkfunktionen wurden alle von Grund auf neu geschrieben und hauptsächlich in der Rust-Sprache entwickelt. Was es wirklich mit Linux gemeinsam hat, ist das Application Binary Interface (ABI). Das heißt, Ginux simuliert die von Linux bereitgestellte Systemschnittstelle für Software, sodass ursprünglich für Linux geschriebene Programme ausgeführt werden können, ohne den Code zu ändern.
Der Projektentwickler beschreibt dieses Design wie folgt: Linux ist nicht nur eine Kernel-Implementierung, sondern kann auch als „Persönlichkeit“ oder Kompatibilitätsumgebung betrachtet werden, die der Kernel der Anwendungssoftware präsentiert. Derzeit implementiert Ginux nur den Linux-Kompatibilitätsmodus und die Möglichkeit, den BSD-Kompatibilitätsmodus in Zukunft hinzuzufügen, ist nicht ausgeschlossen.
Ginux ist jedoch noch lange nicht vollständig mit Linux kompatibel. Laut Projektdokumentation, die die x86-64-Schnittstelle von Linux 6.12 als Referenz nimmt, wurden nur 82 seiner 375 Systemaufrufe vollständig implementiert, weitere 245 können nur teilweise funktionieren und die restlichen 48 sind absichtlich auf nicht verfügbar gesetzt. Dies bedeutet, dass es zwar bereits einige vorhandene Linux-Software ausführen kann, aber noch nicht als ausgereifter Allzweck-Linux-Ersatz angesehen werden kann.
Ginux führt außerdem eine Reihe von Isolationsmechanismen namens „Domains“ ein. Die Software läuft in einer isolierten Umgebung und jede Domäne verfügt über unabhängige Prozesse, Speicherplatz und Dateisysteme. Das Projekt hofft, dass dieser Mechanismus stärkere Isolationsgrenzen bietet als herkömmliche Container. Ginux kann jedoch weiterhin Standard-OCI-Container-Images verwenden, um Dateisysteme für jede Domäne zu erstellen. Auf diese Weise konnte Rocky Linux 10 geladen und der Systemstart auf das Mehrbenutzerziel systemd verschoben werden.
Der interessanteste Aspekt dieser Entwicklung ist die Rolle der künstlichen Intelligenz. Kurtzer nennt seinen Ansatz in einem Fachbericht „Human-Directed Agentic Engineering“. Er ist für die Festlegung der Gesamtarchitektur, die Formulierung von Entwicklungsphasen und Akzeptanzkriterien verantwortlich, während der Agent für künstliche Intelligenz für den Großteil der nachfolgenden Ausführungsarbeiten verantwortlich ist, darunter das Schreiben von Code, das Starten des Kernels, das Ausführen von Tests und das Ändern des Codes nach Entdeckung von Problemen.
Der gesamte Prozess wird durch eine kontinuierlich laufende OpenAI-Codex-Aufgabe abgeschlossen, und das verwendete Modell ist GPT-5.6 Sol. In 11 Tagen generierte AI insgesamt etwa 139.000 Zeilen Code und Testinhalte und führte mehr als 1.000 Codeübermittlungen durch. Während des Entwicklungsprozesses spielte auch die echte Distribution Rocky Linux eine wichtige Rolle: Sie deckte einige Probleme auf, die künstlich erstellte Testfälle beim tatsächlichen Starten und Ausführen nicht finden konnten.
Kurzer hat Ginux jedoch nicht in ein produktionsreifes Betriebssystem gepackt. Derzeit läuft das Projekt noch vollständig in der virtuellen QEMU-Maschine. Es unterstützt noch keinen direkten Start auf physischer Hardware und es gibt keine Unterstützung für GPU- und NVMe-Speichergeräte. Darüber hinaus wurde Ginux noch keinen unabhängigen Sicherheitsüberprüfungen unterzogen und seine Sicherheit kann nicht vollständig überprüft werden.
Kurtzer glaubt, dass künstliche Intelligenz mittlerweile in der Lage ist, komplexe Systemsoftware zu schreiben, aber der wirklich schwierige Teil ist nicht verschwunden. Softwarekompatibilität, Sicherheit und langfristige Wartungsmöglichkeiten sind immer noch die Haupthindernisse, die darüber entscheiden, ob ein Betriebssystem wirklich erfolgreich sein kann. Mit anderen Worten: KI kann den Prozess der Codeentwicklung von Grund auf erheblich verkürzen, sie kann jedoch weder automatisch sicherstellen, dass diese Codes zuverlässig genug sind, noch kann sie eine langfristige technische Verifizierung ersetzen.
Gleichzeitig versucht die Linux-Kernel-Entwicklergemeinschaft nach und nach, KI-Tools einzuführen. Letzten Monat nutzte Linux-Gründer Linus Torvalds Claude Code, um eine Reihe experimenteller Seiten-Cache-Patches zu schreiben, doch Prüfer stellten später fest, dass es Race Conditions gab, sodass der relevante Code noch immer überprüft wird. Etwa zur gleichen Zeit einigten sich die Betreuer des Linux-Kernels auch darauf, von den Mitwirkenden nicht mehr zu verlangen, offenzulegen, ob ihr Code KI-unterstützt war.
Die Bedeutung von Ginux besteht möglicherweise nicht darin, dass es Linux sofort ersetzen kann, sondern darin, dass es ein neues Software-Engineering-Modell demonstriert: Menschen sind für Ziele, Architektur und Schlüsselentscheidungen verantwortlich, und KI-Agenten sind für eine große Menge spezifischer Implementierungs- und Testarbeiten verantwortlich. Komplexe Systeme, deren Entstehung früher Jahre dauerte, können jetzt in einem Bruchteil der Zeit zu einem funktionierenden Prototypen werden. Allerdings ist es noch ein langer technischer Weg, um von einem Prototyp zu einem wirklich zuverlässigen Betriebssystem zu gelangen, das sich an eine breite Palette von Hardware anpassen und langfristig gewartet werden kann.
Kommentare