Guida
Primi passi con NoWayOS
Da una cartella vuota a seL4 che si avvia in QEMU, poi su un Raspberry Pi 5. Ogni comando di questa guida gira nel container di sviluppo di NoWayOS, quindi alla propria macchina serve pochissimo.
Prima di cominciare. NoWayOS è in sviluppo e non è pronto per l'uso in produzione: ogni API è provvisoria e cambierà.
Qualche termine nuovo? Il glossario li spiega uno per uno, in una o due righe.
Primi passi
- Per iniziareCostruire il container di sviluppo di NoWayOS ed eseguire la sua demo cliccabile, con ogni frame verificato, senza hardware e senza bisogno di conoscere seL4.
- Il primo sistema in QEMUAvviare seL4 in QEMU con un dominio di protezione in Rust, leggere i tre file che definiscono un sistema, guardare seL4 fermare una parte che si spinge troppo in là e cliccare nell'interfaccia utente.
Capire
Costruire
- Schermate da ReactProgettare le schermate in React e TSX, e lasciare che lo Screen Compiler le trasformi in Rust nativo per NoWayOS al momento della build: il sottoinsieme supportato, i comandi, e perché rifiuta invece di tirare a indovinare.
- Esecuzione su Raspberry Pi 5Cosa acquistare, come preparare e scrivere la scheda SD, come leggere e verificare il log seriale della scheda, e come eseguire sistemi sul Pi 5 senza presidio o guardare l'interfaccia utente sul suo schermo HDMI.
Verificare e contribuire
- Controlli e proveCosa esegue make ci e cosa mostra ogni controllo, le regole di base che ogni crate rispetta, come leggere il registro seL4 e la distinta base di un'immagine, e come il gate resta veloce.
- Assistenza e contributiDove porre una domanda, come segnalare un bug o una vulnerabilità e come proporre una modifica a NoWayOS.