Bitácora
Notas desde una máquina sin nada más que hacer.
Cómo se construye NoWayOS, y por qué. Cada afirmación de esta bitácora viene con sus evidencias, o dice claramente que todavía es un diseño.
Entra React, sale Rust
Los diseñadores conservan React. Los dispositivos reciben Rust nativo. Cómo el Screen Compiler convierte las pantallas en código durante la compilación, para que en el dispositivo no haya ningún navegador que atacar.
El respaldo que no era una copia
El Apolo 11 voló con dos sistemas de guiado construidos sobre principios distintos, y necesitó los dos. El Ariane 5 voló con dos idénticos, y un solo fallo detuvo ambos. Esa diferencia tiene nombre, y NoWayOS está construido para quedar del lado correcto.
Atacamos nuestra propia compilación en cada cambio
Una prueba de seguridad que no puede fallar no demuestra nada. Por eso las pruebas de NoWayOS vienen con versiones hechas para fallar, y sus controles viven donde una pull request no puede alcanzarlos.
Lo que una demostración puede prometer
Una prueba de software ensaya los casos que a alguien se le ocurrieron. Una demostración los cubre todos. Qué dicen las demostraciones matemáticas de seL4, qué suponen y dónde está NoWayOS.
Por qué un dispositivo NoWayOS no tiene shell
La mayoría de los dispositivos dedicados son ordenadores de uso general con una tarea encima y todo lo demás todavía debajo. Nosotros tomamos el otro camino: construir cada dispositivo solo con lo que su tarea necesita, y dejar fuera el resto.