Hilfe
Erste Schritte mit NoWayOS
Von einem leeren Ordner zu seL4, das in QEMU bootet, und dann auf einem Raspberry Pi 5. Jeder Befehl hier läuft im Dev-Container von NoWayOS, sodass Ihr Rechner sehr wenig braucht.
Bevor Sie beginnen. NoWayOS ist in Entwicklung und nicht reif für den Produktiveinsatz: Jede API ist vorläufig und wird sich ändern.
Neu in der Begriffswelt? Das Glossar erklärt jeden Begriff in ein, zwei Zeilen.
Hier beginnen
- Erste SchritteBauen Sie den Dev-Container von NoWayOS und starten Sie seine klickbare Demo, jedes Frame geprüft, ganz ohne Hardware und ohne seL4-Kenntnisse.
- Ihr erstes System in QEMUBooten Sie seL4 in QEMU mit einer Rust-Schutzdomäne, lesen Sie die drei Dateien, die ein System definieren, sehen Sie zu, wie seL4 einen Teil stoppt, der zu weit greift, und klicken Sie sich durch die Benutzeroberfläche.
Verstehen
Bauen
- Screens aus ReactGestalten Sie Screens in React und TSX, und lassen Sie den Screen Compiler sie beim Build in natives Rust für NoWayOS umwandeln: die unterstützte Teilmenge, die Befehle und warum er ablehnt, statt zu raten.
- Betrieb auf einem Raspberry Pi 5Was Sie kaufen sollten, wie Sie die SD-Karte bauen und beschreiben, wie Sie das serielle Log des Boards lesen und prüfen und wie Sie Systeme unbeaufsichtigt auf dem Pi 5 laufen lassen oder die Benutzeroberfläche auf seinem HDMI-Bildschirm verfolgen.
Prüfen und beitragen
- Prüfungen und NachweiseWas make ci ausführt und was jede Prüfung zeigt, die Grundregeln, die jedes Crate einhält, wie Sie das seL4-Protokoll und die Stückliste eines Images lesen und wie das Gate schnell bleibt.
- Hilfe bekommen und beitragenWo Sie eine Frage stellen, einen Fehler oder eine Schwachstelle melden, und wie Sie eine Änderung an NoWayOS vorschlagen.