Journal
Notizen eines Computers, der sonst nichts zu tun hat.
Wie NoWayOS gebaut wird und warum. Jede Aussage hier kommt mit ihrem Nachweis oder sagt klar, dass es sich noch um ein Design handelt.
React rein, Rust raus
Designer behalten React. Geräte bekommen natives Rust. Wie der Screen Compiler Screens zur Build-Zeit in Code verwandelt, sodass auf dem Gerät kein Browser ist, den man angreifen könnte.
Das Backup, das keine Kopie war
Apollo 11 flog mit zwei Lenksystemen, die nach verschiedenen Prinzipien gebaut waren, und brauchte beide. Ariane 5 flog mit zwei identischen, und ein Fehler stoppte beide. Dieser Unterschied hat einen Namen, und NoWayOS ist dafür gebaut, auf der richtigen Seite davon zu stehen.
Wir greifen unseren eigenen Build bei jeder Änderung an
Ein Sicherheitstest, der nicht fehlschlagen kann, belegt nichts. Deshalb kommen die Tests von NoWayOS mit Varianten, die fehlschlagen müssen, und seine Gates liegen dort, wo ein Pull Request nicht hinreicht.
Was ein Beweis versprechen kann
Ein Test probiert die Fälle, an die jemand gedacht hat. Ein Beweis deckt alle ab. Was die mathematischen Beweise von seL4 aussagen, was sie voraussetzen und wo NoWayOS daneben steht.
Warum ein NoWayOS-Gerät keine Shell hat
Die meisten dedizierten Geräte sind Allzweckcomputer mit einer Aufgabe obenauf und allem anderen noch darunter. Wir sind den anderen Weg gegangen: jedes Gerät nur aus dem bauen, was seine Aufgabe braucht, und den Rest weglassen.