Le 27 octobre 2026, Gregory M. Kurtzer a annoncé Ginux, un noyau indépendant écrit principalement en Rust pour x86-64. Le projet décrit un scénario dans lequel Rocky Linux 10 et systemd démarrent dans QEMU, mais son registre Linux 6.12 montre une compatibilité encore partielle.
Ce que le démarrage de Rocky Linux 10 établit
Le projet décrit un démarrage de systemd jusqu’à multi-user.target, la cible qui lance les services d’un système multi-utilisateur. Le scénario utilise QEMU, un logiciel de virtualisation, et l’image rockylinux/rockylinux:10-ubi-init. Le dépôt précise que l’image de base rockylinux/rockylinux:10 ne contient pas systemd.
| Image Rocky Linux | Systemd dans le scénario décrit par le projet |
rockylinux/rockylinux:10-ubi-init | Image utilisée pour le démarrage de systemd |
rockylinux/rockylinux:10 | L’image de base ne contient pas systemd |
Ce scénario s’inscrit dans la cible de développement décrite par le projet : une machine virtuelle QEMU x86-64 Q35 avec OVMF, Intel IOMMU et des périphériques virtio. Il porte sur une image et un environnement précis.
Le registre Linux 6.12 montre une compatibilité partielle
Ginux n’est pas un fork de Linux. Kurtzer et le projet le décrivent comme un noyau indépendant qui implémente une « personnalité Linux » pour exécuter certains logiciels Linux x86-64. Une interface binaire d’application, ou ABI, est l’ensemble des règles par lesquelles un programme communique avec le système.
Pour Linux 6.12 x86-64, le registre du projet classe les 375 numéros d’appels système selon trois états :
| État dans le registre | Numéros d’appels système |
| Implémentés complètement | 82 |
| Implémentés partiellement | 245 |
| Refusés par politique | 48 |
| Total | 375 |
Le projet précise que ce classement ne constitue pas une conformité complète à Linux. Il décrit aussi des charges de travail sélectionnées d’Alpine Linux et de Rocky Linux, sans garantir l’exécution de binaires ou de distributions quelconques.
Le checkpoint évalué n’a pas passé le test agrégé
Le dépôt indique que le checkpoint évalué le 23 octobre 2026 n’a pas réussi make test. Une sonde du cycle de vie du superviseur système après execve() y restait en échec. Le rapport rattache cette évaluation au commit d11c126a048a51fe7eb9c4105f31760add1027ea.
Kurtzer présente Ginux comme un prototype de recherche, et non comme un noyau destiné à la production ou un remplacement de Linux. Le projet décrit également des domaines natifs pour séparer notamment les processus, les espaces mémoire, les systèmes de fichiers et les appareils.
Une expérience de développement dirigée par un humain
Kurtzer et son rapport décrivent la méthode Human-Directed Agentic Engineering (HDAE) : une personne définit l’architecture, les contraintes et les critères d’acceptation, puis un agent participe à l’implémentation et à une boucle de tests et de révisions. Kurtzer attribue à une tâche persistante d’OpenAI Codex utilisant GPT-5.6 Sol un effort de 11 jours et environ 139 000 lignes conservées de code et de tests.
