Redox (système d'exploitation)
Redox est un système d'exploitation libre de type Unix écrit en Rust. Redox a pour objectifs d’être sûr, facile d’utilisation et libre. Il prend son inspiration de précédents noyaux et systèmes d’exploitations, tels que seL4, MINIX, Plan 9 et BSD. C’est un système au fonctionnement proche des écosystèmes GNU et BSD, mais utilisant un langage assurant une sécurité mémoire et utilisant des technologies plus modernes[évasif][4].
| Redox | |
| |
| |
| Langues | Anglais |
|---|---|
| Dépôt | gitlab.redox-os.org/redox-os/redox |
| Plates-formes | X86_64 et AArch64 (d) |
| Licence | Licence MIT |
| Écrit en | Rust |
| Première version | [1] |
| Dernière version stable | 0.6.0 ()[2],[3] |
| Site web | www.redox-os.org |
Historique
Redox a été créé par Jeremy Soller et sa première version a été publiée le sur GitHub[5]. Il est depuis en développement actif, avec des apports de plus de 40 développeurs[6]. Après deux ans de développement, la version 0.2.0 a été publiée.
Conception
Redox est conçu pour la sécurité, ce qui se reflète dans plusieurs choix de conceptions, notamment :
- l’utilisation du langage Rust ;
- l’utilisation d’un microkernel similaire à celui de Minix.
Composants
Redox est un système d’exploitation complet : il dispose de paquets qui, ensemble, constituent un système fonctionnel et utilisable. Redox profite pour cela d’un écosystème de logiciels écrits en Rust par les membres du projet.
On y trouve ainsi :
- le noyau de Redox, un microkernel largement inspiré de Minix ;
- Ralloc, un gestionnaire de mémoire ;
- TFS, un système de fichiers inspiré de ZFS ;
- Ion, un shell inspiré des shells POSIX, mais largement adapté pour fournir une syntaxe plus simple à utiliser ;
- pkgutils, le gestionnaire de paquets ;
- Orbital, chargé du contrôle de l’affichage et des fenêtres ;
- relibc, qui fournit une base pour l’exécution de programmes développés dans d’autres langages.
Applications en ligne de commande
Parmi les applications en ligne de commande, on trouve :
- Sodium, un éditeur de type vi avec support de la coloration syntaxique ;
- Rusthello, une intelligence artificielle pour l’Othello, qui sert de démonstration des capacités de multithreading de Redox.
Applications graphiques
Parmi les applications graphiques, on trouve :
- NetSurf, un navigateur Web léger ;
- Calculator, une calculatrice aux fonctionnalités comparables à celle de la calculatrice windows ;
- Editor, un éditeur de texte basique, similaire à Notepad ;
- File browser, un gestionnaire de fichiers ;
- Image Viewer, une visionneuse d’images ;
- Pixelcannon, un moteur de rendu 3D utilisé pour tester les performances d’Orbital ;
- Orbterm, un émulateur de terminal de type ANSI.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Redox (operating system) » (voir la liste des auteurs).
- « https://github.com/redox-os/redox/commit/0edea108a1d8112b3aa4e8ae7b3d8d41c5d0ed85 » (consulté le )
- (en) « Redox OS 0.6.0 », (consulté le )
- (en) « Redox OS 0.6 Released With Many Fixes, Rewritten Kernel Memory Manager », (consulté le )
- « Redox: A Rust Operating System »
- Jeremy (jackpot51) Soller, « Initial commit of Rustboot-based OS », sur GitHub, GitHub, Inc., (consulté le )
- « Redox Repository », sur GitHub (consulté le )
