Repartage — contenu de Julien Mutzenhardt
🚀 Un noyau compatible Linux écrit en Rust grâce à l'IA en seulement 11 jours ? C'est la prouesse réalisée par Gregory Kurtzer, le fondateur de CentOS et Rocky Linux.
Ce projet, baptisé Ginux (contraction de GPT, Linux et Greg), est un noyau indépendant écrit en Rust pour l'architecture x86-64. Son objectif : exécuter des applications Linux sans utiliser le noyau Linux original.
💡 Comment a-t-il été développé ?
En appliquant la méthode HDAE (Human-Directed Agentic Engineering). Gregory Kurtzer a défini l'architecture, les contraintes et les jalons, puis a lancé une tâche persistante confiée à un agent IA s'appuyant sur OpenAI Codex (GPT-5.6 Sol).
L'IA a géré l'implémentation, la compilation, les tests, le diagnostic et les corrections.
Résultat : 139 000 lignes de code conservées pour un coût estimé à environ 8 000 dollars d'appels API.
⚙️ Les caractéristiques clés du prototype :
🔹 Image unique : Le noyau et les composants de démarrage sont regroupés dans un fichier unique GINUX.EFI (démarrage direct UEFI).
🔹 Compatibilité applicative : Capable de faire tourner des programmes Alpine Linux et Rocky Linux 10 (avec systemd) non modifiés.
🔹 Appels système : Sur 375 appels système Linux, 82 sont complètement implémentés, 245 partiellement et 48 refusés volontairement.
🔹 Isolation : Les charges de travail tournent dans des « domaines » isolés.
🧪 Un prototype de recherche, pas un remplaçant :
Bien que les premiers benchmarks sous machine virtuelle QEMU montrent un démarrage 3,3 fois plus rapide pour Rocky Linux 10 sur Ginux par rapport au noyau Linux, les conditions de test ne sont pas équivalentes. Gregory Kurtzer rappelle d'ailleurs que la vraie valeur de Linux réside dans son écosystème, ses workflows et sa communauté, bien plus que dans son seul code.
Pensez-vous que l'ingénierie dirigée par des agents IA (HDAE) va devenir la norme pour le développement de logiciels complexes ?
La synthèse de cet article a été générée par l'IA.
#Linux #Rust #OpenSource #IA #TechNews #CentOS #RockyLinux
Si vous souhaitez discuter avec moi sur le sujet ou faire appel à mes compétences vous pouvez me contacter en MP ou en Visio.
Sources LinkedIn
- Profil : Pierre Jean Duvivier dit Sage (LinkedIn)
- Auteur partagé : Julien Mutzenhardt (LinkedIn)

Laisser un commentaire