The most used operating system in the world is not Linux
MINIX, le système d’exploitation éducatif d’Andrew Tanenbaum, est devenu le système le plus répandu au monde en étant enfoui au cœur des processeurs Intel, mais son choix de licence BSD a permis à Intel de le transformer en une boîte noire propriétaire, illustrant que la liber...
SYNTHÈSE STRUCTURÉE
La naissance de MINIX : un acte de libération face à AT&T
Jusqu’aux années 1970, les universités utilisaient le code source d’UNIX pour enseigner les systèmes d’exploitation. Quand AT&T a changé la licence de la version 7 pour interdire l’étude du code en cours, les professeurs ont dû revenir à la théorie. Andrew Tanenbaum, professeur à Amsterdam, a alors entrepris de réécrire un système d’exploitation complet depuis zéro, compatible UNIX pour l’utilisateur mais totalement différent en interne, sans copier une seule ligne du code d’AT&T. « C’est un acte de libération », explique l’intervenant. MINIX tenait dans 256 Ko de mémoire et une disquette, avec seulement 12 000 lignes de code pour le cœur, conçu pour être lu et compris en un semestre.
Le refus de faire grandir MINIX donne naissance à Linux
Tanenbaum a délibérément maintenu MINIX petit pour préserver son rôle d’outil pédagogique, refusant des années durant les correctifs et nouvelles fonctionnalités proposés par la communauté. C’est cette rigidité qui a poussé Linus Torvalds, étudiant finlandais frustré par les limites de MINIX, à écrire son propre noyau en 1991. « Linux existe en partie précisément parce que Tannenbaum avait dit non trop de fois », résume l’intervenant. Torvalds avait initialement nommé son projet Freax, mais l’administrateur du serveur universitaire, Ari Lemke, a créé le répertoire sous le nom Linux sans le consulter.
Le lien technique entre MINIX et Linux
Les premières versions de Linux n’étaient pas seulement inspirées de MINIX : elles utilisaient physiquement le système de fichiers de MINIX. « Le fils marchait encore dans les chaussures de son père », note l’intervenant. Pendant des années, les disques des machines Linux étaient formatés avec le système de fichiers que Tanenbaum avait écrit pour ses étudiants.
Le choix des licences : le tournant décisif
En 2000, Tanenbaum a libéré MINIX sous licence BSD, une licence permissive qui autorise toute utilisation, même fermée et propriétaire, à condition de conserver le nom de l’auteur. Torvalds, lui, avait placé Linux sous licence GPL (copyleft) dès 1992, obligeant quiconque distribue une version modifiée à publier le code source. L’intervenant cite Torvalds : « mettre Linux sous GPL a été la meilleure chose qu’il ait jamais faite dans sa vie ». Ce choix de licence est présenté comme la clé de toute l’histoire.
MINIX 3 : la renaissance technique
En 2005, Tanenbaum a publié MINIX 3, qui n’était plus un simple jouet pédagogique. Il intégrait un « serveur de réincarnation » capable de surveiller en permanence tous les composants du système. Si un pilote plante ou entre dans une boucle infinie, le serveur le tue et le relance à partir d’une copie vierge, sans redémarrage et sans que l’utilisateur ne s’en aperçoive. « Sur Windows, ce pilote vous aurait donné l’écran bleu. Sur Linux, il aurait pu tout figer. Sur MINIX, il renaît simplement », explique l’intervenant. Le cœur critique du système ne compte que quelques milliers de lignes, contre 3 à 5 millions pour Linux ou Windows.
La découverte de Ronald Minnich : MINIX dans les processeurs Intel
En 2017, l’ingénieur Google Ronald Minnich a révélé par rétro-ingénierie que le Management Engine (ME) d’Intel, un processeur secondaire caché dans presque tous les processeurs Intel modernes, exécute une version modifiée et fermée de MINIX 3. Ce ME fonctionne à un niveau de privilège appelé « ring minus trois », bien en dessous du ring zéro où s’exécute le noyau Linux. Il a un accès total à la mémoire, au réseau et à tout le matériel, même quand l’ordinateur est éteint mais branché. Intel a choisi MINIX pour sa petite taille, sa modularité et sa fiabilité.
La réaction de Tanenbaum : une victoire amère
Tanenbaum n’a appris que son système était le plus répandu au monde qu’en lisant les journaux. Des années plus tôt, des ingénieurs Intel l’avaient contacté pour des questions techniques sur MINIX, puis le silence était tombé. Il a écrit une lettre ouverte au PDG d’Intel, dont l’intervenant résume le ton : « Merci d’avoir mis MINIX dans vos puces. Je suppose que cela en fait le système d’exploitation le plus utilisé au monde, plus que Windows, plus que Linux, plus que Mac OS. Et je ne le savais même pas. Je ne voulais pas d’argent. La licence ne l’exige pas. Cela va. Il aurait seulement été agréable que quelqu’un me le dise par courtoisie. »
La leçon : la licence prime sur le code
L’intervenant conclut que Tanenbaum avait techniquement raison sur presque tout (micro-noyau, modularité, fiabilité), mais qu’il avait tort sur l’essentiel : la liberté ne se défend pas par le meilleur code, mais par la bonne licence. « Sans copyleft, votre don finit muré à l’intérieur de la machine de quelqu’un d’autre », affirme-t-il. Intel a pu prendre MINIX, le modifier, le fermer et l’enfermer dans un blob propriétaire sans rien rendre, parce que la licence BSD le permet. Si MINIX avait été sous GPL, le code modifié aurait dû être publié et auditable.
CONCEPTS CLÉS
- Ring minus trois : Niveau de privilège matériel inférieur au ring zéro (noyau), utilisé par le Management Engine d’Intel. Aucun système d’exploitation standard ne peut y accéder ni le contrôler.
- Serveur de réincarnation : Composant de MINIX 3 qui surveille et relance automatiquement les pilotes ou processus défaillants sans redémarrer la machine.
- Copyleft : Principe de licence (ex. GPL) qui oblige toute distribution d’une version modifiée à publier le code source, garantissant que les améliorations restent libres.
- Licence BSD : Licence permissive qui autorise l’utilisation, la modification et la redistribution du code, même sous forme fermée et propriétaire, à condition de conserver le crédit de l’auteur original.
CONCLUSION
L’histoire de MINIX est une démonstration éclatante que le choix d’une licence n’est pas un détail bureaucratique mais une décision stratégique qui détermine le destin d’un projet. Tanenbaum a créé un système techniquement supérieur pour libérer la connaissance, mais en choisissant une licence permissive, il a involontairement fourni à Intel l’outil idéal pour construire l’une des boîtes noires les plus puissantes et les moins transparentes de l’informatique moderne. La leçon à retenir est que la liberté logicielle ne se transmet pas par la qualité du code, mais par la rigueur du cadre juridique qui l’entoure.