Le fondateur de CentOS assemble un noyau Rust compatible Linux en 11 jours avec l’IA

27 octobre 2026. Gregory Kurtzer, fondateur de CentOS et de Rocky Linux, dévoile Ginux, un noyau x86-64 écrit en Rust et pensé pour exécuter des applications Linux sans utiliser le noyau Linux. 11 jours. C’est le temps qu’a mis un agent OpenAI Codex pilotant le modèle GPT-5.6 Sol pour produire l’essentiel du code. 139 000 lignes. Le volume de code retenu, réparti sur 1 037 commits pour un coût d’API d’environ 8 000 dollars. Pourquoi c’est important : un développeur expérimenté, armé d’un agent, vient de prototyper un noyau compatible Linux en moins de deux semaines — une méthode qui interroge directement l’avenir du développement système.

Human-Directed Agentic Engineering, la méthode

Kurtzer ne prétend pas que l’IA a fait le travail seule. Il décrit sa démarche sous le nom de Human-Directed Agentic Engineering (HDAE) : un humain définit l’architecture, les exigences, les contraintes et les critères d’acceptation, tandis qu’un agent de codage se charge de l’implémentation, des tests, du débogage et des révisions.

C’est une nuance qui change tout. Le modèle n’« invente » pas un noyau : il implémente un cahier des charges que son directeur humain a fixé. Les tests exécutables jouent le rôle de garde-fou — chaque contribution de l’agent doit les satisfaire avant d’être retenue. Le résultat est un prototype fonctionnel, pas un ensemble de fragments générés en vrac.

Ce que Ginux sait déjà faire

Ginux n’est pas une simple preuve de concept qui affiche un message. Il embarque sa propre gestion mémoire, son ordonnanceur, son modèle de processus, son système de fichiers virtuel, sa pile réseau, son support de périphériques et une couche de compatibilité ABI Linux.

Côté appels système, il couvre 375 appels de l’interface Linux 6.12 x86-64 : 82 sont pleinement implémentés, 245 le sont partiellement et 48 sont délibérément refusés. Concrètement, Ginux exécute des binaires Alpine Linux compilés avec musl et BusyBox, ainsi que des programmes Rocky Linux liés à glibc. Il démarre même un espace utilisateur Rocky Linux 10 jusqu’à l’étape multi-user.target de systemd.

L’architecture repose sur des domaines : chaque domaine isole ses propres processus, espaces d’adressage, systèmes de fichiers, montages, capacités et cycle de vie. Ginux peut aussi récupérer et assembler des images de conteneurs OCI, qu’il utilise pour fournir des environnements utilisateur Linux pendant qu’il assure lui-même l’exécution et l’isolation. Le tout tient dans une seule image GINUX.EFI.

Ce qui manque encore

Kurtzer est le premier à poser la limite : Ginux est un prototype de recherche, pas un système d’exploitation prêt pour la production. La couverture de l’ABI Linux est incomplète, le support matériel est limité et plusieurs domaines — réseau, systèmes de fichiers, application des ressources, sécurité — demandent encore un travail substantiel.

Aujourd’hui, le développement et les tests visent surtout des machines virtuelles QEMU/KVM, avec une configuration Q35 x86-64, le firmware OVMF, l’IOMMU Intel et des périphériques virtio. Pas de GPU, pas de NVMe. Le dépôt documente aussi une exécution en mode émulation sur Apple Silicon. C’est un banc d’essai, pas un remplaçant de Debian.

Pourquoi ça compte pour l’écosystème Linux

L’expérience Ginux n’est pas isolée. En octobre 2026, Linus Torvalds expérimentait lui-même du code de noyau généré par IA et mesurait un gain de vitesse de 3 fois. La question n’est plus de savoir si l’IA écrira du code de bas niveau — elle en écrit déjà — mais qui dirigera, qui validera, et qui portera la responsabilité du résultat.

Ginux s’inscrit aussi dans une lignée de noyaux écrits en Rust pour la sécurité mémoire, aux côtés de projets comme Asterinas. Mais sa vraie nouveauté n’est pas la langue : c’est la vitesse. Là où un noyau demandait historiquement des années d’une équipe, un développeur chevronné avec un agent a produit un prototype démarrant systemd en 11 jours.

Verdict

Ginux ne va pas remplacer Linux, et Kurtzer ne le prétend pas. Son intérêt est ailleurs : il fournit un point de donnée public sur ce que la méthode HDAE peut produire en systèmes logiciels complexes, avec des chiffres vérifiables — 139 000 lignes, 1 037 commits, 8 000 dollars.

Si vous cherchez un noyau à déployer en production, restez sur Linux ou un noyau Rust mature comme Asterinas : Ginux est un prototype de recherche. Si vous développez des systèmes critiques, regardez surtout la méthode — un agent bien dirigé, encadré par des tests exécutables et un architecte expérimenté, peut abattre en jours un volume de code qui occupait des mois. La compétence qui devient rare n’est pas d’écrire le code : c’est de savoir le spécifier, le tester et le refuser.

Références

• Linuxiac — CentOS Founder Builds Linux-Compatible Rust Kernel with AI in Just 11 Days
• GitHub — gmkurtzer/ginux
• It’s FOSS — Rocky Linux Creator Built a New « Not Linux » Kernel in 11 Days Using AI
• TechSpot — CentOS co-founder creates a Linux-compatible kernel in just 11 days
• Zenodo — Ginux technical report (Gregory Kurtzer)