-
Julien BROCHARD authoredJulien BROCHARD authored
- Qu'est-ce que Redox?
- Quelles fonctionnalités a Redox?
- Les bénéfices du micro noyau
- Vraie modularité
- Isolation des bugs
- Conception sans redémarrage
- Facile à développer et à déboguer
- Les avantages de Rust
- Pas besoin de mesures d'atténuation des exploits
- Sécurité et fiabilité améliorées sans impact significatif sur les performances
- Pilotes écrits en Rust
- Système de fichiers inspiré de ZFS
- Quelle est l'utilité de Redox?
- Que peut-on faire avec Redox?
- Qu'est-ce qu'un système d'exploitation de type Unix?
- Comment Redox s'inspire d'autres systèmes d'exploitation?
- Qu'est-ce qu'un micro noyau?
- Quels programmes peuvent tourner sur Redox?
- Quels appareils sont supportés par Redox?
- CPU
- Les interfaces matérielles
- Vidéo
- Son
- Stockage
- Entrées
- Internet
- Avec quelles machines virtuelles Redox s'intègre-t-il?
- Comment compiler Redox?
- Comment lancer QEMU sans interface graphique?
- Comment dépanner un build en cas d'erreur?
- Comment rapporter des bugs de Redox?
- Comment contribuer à Redox?
- J'ai un problème ou des questions pour l'équipe de Redox
title = "FAQ"
Cette page couvre les questions les plus courantes.
- Qu'est-ce que Redox?
- Quelles fonctionnalités a Redox?
- Quelle est l'utilité de Redox?
- Que peut-on faire avec Redox?
- Qu'est-ce qu'un système d'exploitation de type Unix?
- Comment Redox s'inspire d'autres systèmes d'exploitation?
- Qu'est-ce qu'un micro noyau?
- Quels programmes peuvent tourner sur Redox?
- Quels appareils sont supportés par Redox?
- Avec quelles machines virtuelles Redox s'intègre-t-il?
- Comment compiler Redox?
- Comment lancer QEMU sans interface graphique?
- Comment dépanner un build en cas d'erreur?
- Comment rapporter des bugs de Redox?
- Comment contribuer à Redox?
- J'ai un problème ou des questions pour l'équipe de Redox
Qu'est-ce que Redox?
Redox est un système d'exploitation en micro noyau, il est complet, entièrement fonctionnel, a un usage général et est axé sur la sécurité, la liberté, la fiabilité, l'exactitude et le pragmatisme.
Dans la mesure du possible, les composants du système sont écrits en Rust et exécutés dans l'espace utilisateur.
Quelles fonctionnalités a Redox?
Les bénéfices du micro noyau
Vraie modularité
Vous pouvez modifier/changer de nombreux composants du système sans redémarrage du système, similaire mais plus sûr que le patch en direct.
Isolation des bugs
La plupart des composants système s'exécutent dans l'espace utilisateur sur un système de micro-noyau, un bogue dans un composant non-noyau ne plantera pas le système/noyau.
Conception sans redémarrage
Le noyau change très peu (correction de bugs), vous n'aurez donc pas besoin de redémarrer votre système très souvent pour mettre à jour le système.
Étant donné que la plupart des composants du système se trouvent dans l'espace utilisateur, ils peuvent être remplacés à la volée (ce qui réduit les temps d'arrêt pour les administrateurs de serveur).
Facile à développer et à déboguer
La plupart des composants du système s'exécutent dans l'espace utilisateur, ce qui simplifie les tests/débogages.
Les avantages de Rust
Pas besoin de mesures d'atténuation des exploits
La conception du micro-noyau écrite en Rust protège contre les défauts de mémoire C/C++.
En isolant les composants du système du noyau, la surface d'attaque est très limitée.
Sécurité et fiabilité améliorées sans impact significatif sur les performances
Comme le noyau est petit, il utilise moins de mémoire pour faire son travail et le code limité du noyau l'aide à rester proche de l'objectif (KISS sans bugs).
La conception de langage sûre et rapide de Rust, combinée à la petite taille de la base de code du noyau, contribue à garantir un noyau fiable, performant et facile à entretenir.
Pilotes écrits en Rust
Les pilotes écrits en Rust sont susceptibles d'avoir moins de bogues et une meilleure sécurité.
Système de fichiers inspiré de ZFS
Redox utilise RedoxFS comme système de fichiers par défaut, il prend en charge des fonctionnalités similaires à ZFS avec une implémentation écrite en Rust.
Attendez-vous à des performances élevées et à la sécurité des données (copie sur écriture, intégrité des données, volumes, instantanés, protection contre la perte de données).
Quelle est l'utilité de Redox?
L'objectif principal de Redox est d'être un système d'exploitation à usage général, tout en maintenant la sécurité, la fiabilité et l'exactitude.
Redox vise à être une alternative aux systèmes Unix existants (Linux/BSD), avec la possibilité d'exécuter la plupart des programmes Unix avec seulement une recompilation ou des modifications minimales.
Que peut-on faire avec Redox?
En tant que système d'exploitation à usage général, vous pourrez faire presque n'importe quoi sur la plupart des appareils avec des performances/sécurité élevées.
Redox est toujours en cours de développement, donc notre liste d'applications prises en charge est actuellement limitée, mais en croissance.
Qu'est-ce qu'un système d'exploitation de type Unix?
Tout système d'exploitation compatible avec la spécification unique Unix et POSIX, s'attend à un shell, le concept "tout est un fichier", multitâche et multi-utilisateur.
Unix était un système multitâche très influent et a eu un impact sur les choix de conception de la plupart des systèmes modernes.
Comment Redox s'inspire d'autres systèmes d'exploitation?
Plan 9 - Ce système d'exploitation Bell Labs amène le concept de "tout est un fichier" au plus haut niveau, en effectuant toutes les communications système à partir du système de fichiers.
Minix - Le système de type Unix le plus influent avec un micro-noyau, il possède des fonctionnalités avancées telles que la modularité du système, la résistance à la panique du noyau, réincarnation du pilote, protection contre les mauvais pilotes et interfaces sécurisées pour la communication des processus.
Redox est largement inspiré de Minix, il a une architecture et un ensemble de fonctionnalités similaires écrits en Rust.
BSD - Cette famille de systèmes d'exploitation Unix comprend plusieurs améliorations sur les systèmes Unix, la plus notable étant les sockets BSD, qui apporte une communication réseau avec un fonctionnement de type fichier (avant Plan 9).
Linux - le noyau monolithique le plus avancé au monde et le plus grand projet open-source au monde, il apporte plusieurs améliorations/optimisations aux systèmes de type Unix.
Redox essaie d'implémenter les améliorations de performances Linux dans une conception de micro-noyau.
Qu'est-ce qu'un micro noyau?
Un micro-noyau est la quantité quasi minimale de logiciels pouvant fournir les mécanismes nécessaires à la mise en œuvre d'un système d'exploitation, qui s'exécute sur le privilège le plus élevé du processeur.
Cette approche de la conception du système d'exploitation apporte plus de stabilité et de sécurité, avec un faible coût sur les performances.
Quels programmes peuvent tourner sur Redox?
Redox est conçu pour être compatible avec la plupart des applications compatibles Unix, Linux et POSIX, ne nécessitant qu'une compilation.
Actuellement, la plupart des applications GUI nécessitent un portage, car nous ne prenons pas encore en charge X11 ou Wayland.
Certains logiciels importants pris en charge par Redox :
Vous pouvez voir tous les composants/programmes portés sur Redox ici.
Quels appareils sont supportés par Redox?
Il existe des milliards d'appareils avec des centaines de modèles/architectures dans le monde, nous essayons d'écrire des pilotes pour les appareils les plus utilisés afin de prendre en charge plus de personnes, certains pilotes sont spécifiques à l'appareil et d'autres sont spécifiques à l'architecture.
Jettes un coup d'oeil à HARDWARE.md pour voir tous les ordinateurs testés.
CPU
- x86_64/AMD64 - (Intel/AMD)
- x86/i686 - (Intel/AMD de Pentium II et après pris en charge avec des limitations)
- ARM64 - (pris en charge avec des limitations)
Les interfaces matérielles
(bientôt l'USB)
Vidéo
(Intel/AMD et autres à l'avenir)
Son
(Sound Blaster soon)
Stockage
(bientôt l'USB)
Entrées
(bientôt l'USB)
Internet
(Wi-Fi/Atheros ethernet bientôt)
Avec quelles machines virtuelles Redox s'intègre-t-il?
À l'avenir, le micro-noyau pourrait agir comme un hyperviseur, similaire à Xen.
Un hyperviseur est un logiciel permettant d'exécuter simultanément plusieurs instances de système d'exploitation isolées.
Comment compiler Redox?
Actuellement, Redox a un script d'amorçage pour Debian/Ubuntu/Pop OS ! avec un support non maintenu pour les autres distributions.
Nous allons utiliser Podman comme méthode de compilation principale, c'est le processus de construction recommandé pour les systèmes non-Debian car il évite les problèmes d'environnement lors de la compilation.
- Guide de compilation du livre Redox - (Debian/Ubuntu/Pop OS!)
- Guide Podman du livre Redox
Comment lancer QEMU sans interface graphique?
Exécutez:
make qemu vga=no
Comment dépanner un build en cas d'erreur?
Reportez-vous au livre Redox pour voir si le problème vient de votre configuration de compilation ou de votre chaîne d'outils, si vous rencontrez toujours des problèmes, consultez ce qui suit ou rejoignez-nous sur le Chat Redox.
Comment rapporter des bugs de Redox?
Vérifiez d'abord les problèmes de GitLab pour voir si votre problème est déjà connu.
Comment contribuer à Redox?
Vous pouvez contribuer à Redox de plusieurs manières, en voici quelques-unes :
- CONTRIBUER
- Guide de contribution du livre Redox
- How to make pull requests properly
- Documentation
- Salle de discussion du développement Redox
J'ai un problème ou des questions pour l'équipe de Redox
- Jetez un oeil à la page de Documentation pour plus de détails internes de Redox.
- Jetez un oeil au livre Redox pour voir s'il répond à vos questions/résout votre problème.
- Si le livre ne répond pas à votre question, posez votre question/dites votre problème dans le salon Support de Redox ou le salon de Développement de Redox sur Matrix.