Gregory Kurtzer crée le noyau Ginux avec l'IA en 11 jours
Le créateur de CentOS et Rocky Linux a présenté Ginux, un noyau expérimental écrit principalement en Rust, dont Codex a généré et vérifié environ 139 000 lignes de code.
Gregory Kurtzer, le créateur de CentOS et Rocky Linux, a développé en seulement 11 jours un nouveau noyau de système d'exploitation avec l'aide de l'IA.
Le projet s'appelle Ginux. Il permet déjà d'exécuter certains programmes Linux sans recourir au noyau Linux lui-même.
Kurtzer a défini l'architecture du système et a orienté le développement, tandis que Codex a écrit et vérifié environ 139 000 lignes de code.
Ginux est principalement écrit en Rust. Il dispose de ses propres mécanismes de gestion de la mémoire, d'un ordonnanceur de tâches et d'un sous-système réseau. De plus, dans une machine virtuelle, le système démarre déjà Rocky Linux 10 avec systemd.
Pour l'instant, Ginux reste un projet expérimental : la compatibilité est encore loin d'être complète et la prise en charge du matériel est limitée. Le code source est publié sous licence Apache 2.0.
Onze jours ont suffi pour poser les bases d'un nouveau système d'exploitation. Il reste désormais à le rendre fiable.
Code du projet : Ginux.
Pourquoi c'est important
AnalyseCe cas montre que l'IA peut accélérer la phase de prototypage de systèmes très complexes, mais la robustesse, la compatibilité et le support matériel restent le vrai défi.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs
Lié dans l'écosystème
Guides pratiques, terminologie clé et compétences d'agents
Mise à jour de ChatGPT : développement et workflows avec les plugins et Codex
Guide pratique complet pour la création, l'empaquetage, le test et la publication de plugins pour ChatGPT et Codex : spécification du manifeste, serveurs MCP, hooks de cycle de vie, marketplaces personnalisées et processus de revue OpenAI.
Partie II. Travailler avec Codex : optimisation, sécurité et équipe
Codex n'est pas un simple outil d'auto-complétion de code dans un chat, mais un véritable agent d'ingénierie : il lit le dépôt, planifie les modifications, édite les fichiers, exécute les tests, vérifie ses propres diffs et sait travailler...
Quotas de ressources cgroups v2 et moniteurs OOM
Mécanismes du noyau Linux (Control Groups v2) pour définir des limites matérielles strictes sur la RAM, le CPU, le disque et le nombre de processus (PIDs), afin de protéger l'hôte contre les cycles d'agents bloqués.
Sécurité eBPF et audit d'exécution
Technologie permettant l'exécution sécurisée de bytecode directement dans le noyau Linux (eBPF / Tetragon / Falco) pour intercepter les appels système (syscalls) dangereux, les connexions réseau et les modifications de fichiers effectuées par des agents IA.