Aide
Bien démarrer avec NoWayOS
D’un dossier vide à seL4 qui démarre dans QEMU, puis sur un Raspberry Pi 5. Chaque commande de ces pages s’exécute dans le conteneur de développement de NoWayOS : votre machine n’a besoin que de très peu.
Avant de commencer. NoWayOS est en développement et n’est pas utilisable en production : chaque API est provisoire et changera.
Les termes vous sont nouveaux ? Le glossaire explique chacun d’eux en une ligne ou deux.
Pour commencer
- Premiers pasConstruisez le conteneur de développement de NoWayOS et lancez sa démo cliquable, chaque image vérifiée, sans matériel et sans connaître seL4.
- Votre premier système dans QEMUDémarrez seL4 dans QEMU avec un domaine de protection en Rust, lisez les trois fichiers qui définissent un système, regardez seL4 arrêter une partie qui va trop loin, et cliquez dans l’interface utilisateur.
Comprendre
Construire
- Des écrans issus de ReactConcevez vos écrans en React et TSX, et laissez le Screen Compiler les transformer en Rust natif pour NoWayOS à la compilation : le sous-ensemble pris en charge, les commandes, et pourquoi il refuse plutôt que de deviner.
- Exécuter sur un Raspberry Pi 5Que faut-il acheter, comment construire et écrire la carte SD, comment lire et vérifier le journal série de la carte, et comment exécuter des systèmes sur le Pi 5 sans surveillance ou regarder l’interface utilisateur sur son écran HDMI.
Vérifier et contribuer
- Vérifications et éléments de preuveCe qu’exécute make ci et ce que montre chaque vérification, les règles de base que respecte chaque crate, comment lire le relevé seL4 et la nomenclature d’une image, et comment le contrôle reste rapide.
- Obtenir de l’aide et contribuerOù poser une question, signaler un bug ou une vulnérabilité, et comment proposer une modification à NoWayOS.