Le créateur de Rocky Linux a fait écrire par une IA un noyau compatible Linux en onze jours

Le 27 octobre, Gregory Kurtzer publie sur X l'annonce d'un projet inattendu : Ginux, « un nouveau noyau de système d'exploitation compatible avec Linux qui démarre Rocky Linux 10 avec systemd ». L'homme n'est pas un inconnu. Il a créé CentOS, puis Rocky Linux, deux distributions très répandues sur les serveurs d'entreprise. Cette fois, il n'a presque pas écrit de code lui-même : selon la documentation du projet, tout a été produit par une seule tâche de Codex, l'outil de programmation d'OpenAI, avec le modèle GPT-5.6 Sol, en onze jours.

Le « G » de Ginux renvoie d'ailleurs à la fois à Greg et à GPT, relève Next, qui a détaillé le projet le 2 novembre. Le noyau, écrit pour l'essentiel en Rust, n'est pas une copie de Linux. Il a sa propre gestion de la mémoire, son propre ordonnanceur, ses systèmes de fichiers et son réseau, et imite seulement l'interface que Linux offre aux programmes.

Un humain architecte, une IA qui code

Kurtzer appelle sa méthode « ingénierie agentique dirigée par l'humain ». Il a fixé l'architecture, les contraintes, les étapes et les critères de réussite. L'agent d'IA, lui, écrivait le code, le démarrait, le testait, diagnostiquait les erreurs et les corrigeait, en boucle, jusqu'à passer des vérifications automatiques.

Le résultat est impressionnant par sa taille : environ 139 000 lignes de code et de tests, selon le fichier de présentation du projet, et un millier de modifications enregistrées d'après Next. Sur les 375 fonctions de base (appels système) que Linux 6.12 met à disposition des programmes, Ginux en implémente 53 entièrement et 257 en partie, en laisse 17 non pris en charge et en refuse volontairement 48, selon le décompte révisé le 1er novembre dans le dépôt (la présentation initiale annonçait 82 appels complets et 245 partiels).

Ce que Ginux ne sait pas faire

Les limites sont nombreuses, et Kurtzer les écrit lui-même. Ginux ne tourne que dans une machine virtuelle QEMU, pas sur un vrai ordinateur : il ne gère ni cartes graphiques ni disques NVMe. Il n'a fait l'objet d'aucun audit de sécurité indépendant. La version évaluée ne passait même pas l'ensemble de ses propres tests, à cause d'un échec enregistré dans une vérification. Le dépôt, publié sous licence libre Apache 2.0, le présente comme un prototype de recherche, « pas pour la production ni comme remplacement de Linux ».

Le 29 octobre, face aux réactions, Kurtzer a écarté l'idée que Ginux veuille concurrencer Linux : « Ce serait idiot ! » Il dit considérer ce code comme jetable. Ce qui l'intéresse, ce sont d'autres questions : combien de temps faut-il pour reproduire un bogue, en trouver la cause, le corriger et valider la correction, et quelle part d'intervention humaine reste réellement nécessaire.

Ce qu'il faut en retenir

Pour un responsable informatique, Ginux ne change rien à court terme : personne ne fera tourner ses serveurs dessus. Mais l'expérience donne un ordre de grandeur de ce qu'un agent de programmation peut produire, avec un humain expérimenté pour le guider. Selon IT-Connect, Kurtzer estime le coût de l'opération à environ 8 000 dollars d'appels d'API. Elle tombe au moment où les mainteneurs de logiciels libres s'interrogent sur l'afflux de code écrit par l'IA, et où l'IA sert aussi à trouver des failles dans le vrai noyau Linux. La suite dépendra de deux choses : le rapport technique publié à part par Kurtzer, et ce qu'en feront les développeurs qui voudront reprendre le projet.