Proyectos
Cuatro proyectos. Una tarea cada uno.
Los cuatro son de código abierto y se desarrollan en abierto, en la organización NoWayOS en GitHub.
NoWayOS
El Single Purpose OS.
Patrones de dominios de protección sobre seL4 y Microkit, mensajes tipados, controladores, red y una interfaz de usuario nativa, junto con el contenedor de desarrollo y las comprobaciones con las que se construye cada repositorio de NoWayOS.
- Funciona en QEMU y en la Raspberry Pi 5
- Un supervisor, un watchdog y un estado de fallo seguro
- Una pila IP y un cliente TLS 1.3, en Rust
- Comprobaciones de concesiones, de unsafe, de licencias y de secretos, y una lista de materiales para cada imagen
- Estado
- En desarrollo
- Licencia
- MIT OR Apache-2.0
Screen Compiler
Diseñe en React. Entregue Rust nativo. Sin navegador en el dispositivo.
Convierte pantallas de React, escritas en TSX dentro de un subconjunto declarado, en Rust para la interfaz de usuario de NoWayOS. Se ejecuta en tiempo de compilación, en su máquina o en la CI, y nunca llega al dispositivo.
- Exacto o nada: todo lo que queda fuera del subconjunto se rechaza, con su línea y su columna
- La misma pantalla genera un Rust idéntico byte a byte en cualquier máquina
- Cada pantalla convertida debe coincidir con su imagen aprobada, píxel a píxel
- Una herramienta de compilación, no un sandbox: convierta solo pantallas de confianza
- Estado
- En desarrollo: el subconjunto v0 y las primeras partes de v1
- Licencia
- MIT
Showcase
Aplicaciones seguras que puede ejecutar en una Raspberry Pi.
Un kit para pantallas de autoservicio seguras, una aplicación de referencia sobre la que construir y un lanzador de ejemplos con marcas ficticias en el que arranca la Raspberry Pi 5.
- Sin navegador, WebView ni JavaScript en el dispositivo
- La pantalla y la aplicación, en compartimentos separados
- Las respuestas de cada persona están diseñadas para quedarse solo en la memoria del dispositivo y borrarse al terminar la sesión
- Cada pantalla, diseñada en React y convertida por el Screen Compiler
- Estado
- En una fase temprana, y no se puede desplegar
- Licencia
- MIT OR Apache-2.0
Defence Agent
Los filtros que debe superar cada contribución, fuera del alcance del pull request.
Cada filtro de seguridad que debe superar un cambio en los proyectos abiertos de NoWayOS, puesto por escrito junto con la amenaza a la que responde y quién puede cambiarlo, y el agente que los ejecuta. Un pull request nunca cambia ni aporta aquello que lo juzga.
- Cada filtro dice qué lo supera, para que pueda comprobar su cambio antes
- Cada commit lleva su sign-off conforme al Developer Certificate of Origin
- Un cambio en un filtro va al mantenedor, y ningún cambio se juzga a sí mismo
- El agente nunca decide: un mantenedor lee su veredicto y fusiona, o no
- Estado
- Público: los filtros, por escrito; el agente y sus herramientas vienen después
- Licencia
- MIT OR Apache-2.0
Productos comerciales sobre la misma base
También se construyen productos comerciales sobre NoWayOS. Todo lo genérico que necesitan se construye en el propio NoWayOS, en abierto, y NoWayOS nunca depende de un producto construido sobre él.
Licencias
- NoWayOS, el Showcase y Defence Agent se distribuyen bajo MIT OR Apache-2.0, a su elección.
- El Screen Compiler es MIT. El Rust que genera a partir de sus pantallas es suyo, para licenciarlo como quiera.
- Los atlas de glifos de NoWayOS están bajo la SIL Open Font License, la licencia de la fuente a partir de la cual se dibujan, y sus iconos están bajo ISC, la licencia de Lucide.
Patrocinio
NoWayOS está patrocinado por Adappt.ai.