Journal
Appunti da un computer che non ha altro da fare.
Come si costruisce NoWayOS, e perché. Ogni affermazione qui è accompagnata dalle sue prove, oppure dice chiaramente che si tratta ancora di un progetto.
Entra React, esce Rust
I designer tengono React. I dispositivi ricevono Rust nativo. Come il Screen Compiler trasforma le schermate in codice in fase di build, così sul dispositivo non c'è alcun browser da attaccare.
Il backup che non era una copia
Apollo 11 volò con due sistemi di guida costruiti su principi diversi, ed ebbe bisogno di entrambi. Ariane 5 volò con due sistemi identici, e un solo guasto li fermò entrambi. Quella differenza ha un nome, e NoWayOS è costruito per stare dal lato giusto.
Attacchiamo la nostra build a ogni modifica
Un test di sicurezza che non può fallire non dimostra nulla. Per questo i test di NoWayOS arrivano con versioni costruite per fallire, e i suoi controlli stanno dove una pull request non può arrivare.
Cosa può promettere una dimostrazione
Un test prova i casi a cui qualcuno ha pensato. Una dimostrazione li copre tutti. Cosa dicono le dimostrazioni matematiche di seL4, cosa assumono e dove si trova NoWayOS.
Perché un dispositivo NoWayOS non ha una shell
La maggior parte dei dispositivi dedicati è un computer generico con un compito sopra e tutto il resto ancora sotto. Noi abbiamo preso l'altra strada: costruire ogni dispositivo solo con ciò che serve al suo compito, e lasciare fuori il resto.