Ayuda
Primeros pasos con NoWayOS
De una carpeta vacía a seL4 arrancando en QEMU, y después en una Raspberry Pi 5. Todos los comandos de esta sección se ejecutan en el contenedor de desarrollo de NoWayOS, así que su máquina necesita muy poco.
Antes de empezar. NoWayOS está en desarrollo y aún no está listo para usarse en producción: todas sus API son provisionales y cambiarán.
¿Los términos le resultan nuevos? El glosario explica cada una en una o dos líneas.
Empiece aquí
- Primeros pasosConstruya el contenedor de desarrollo de NoWayOS y ejecute su demo interactiva, con cada fotograma comprobado, sin necesidad de hardware ni de conocimientos de seL4.
- Su primer sistema en QEMUArranque seL4 en QEMU con un dominio de protección en Rust, lea los tres archivos que definen un sistema, vea cómo seL4 detiene una parte que va demasiado lejos y recorra la interfaz de usuario con el ratón.
Entender
Construir
- Pantallas desde ReactDiseñe pantallas en React y TSX y deje que el Screen Compiler las convierta en Rust nativo para NoWayOS en tiempo de compilación: el subconjunto admitido, los comandos y por qué rechaza en lugar de adivinar.
- Ejecución en una Raspberry Pi 5Qué comprar, cómo construir y grabar la tarjeta SD, cómo leer y comprobar el registro serie de la placa, y cómo ejecutar sistemas en la Pi 5 de forma desatendida o ver la interfaz de usuario en su pantalla HDMI.
Comprobar y contribuir
- Comprobaciones y evidenciasQué ejecuta make ci y qué muestra cada comprobación, las reglas básicas que cumple cada crate, cómo leer el registro de seL4 y la lista de materiales de una imagen, y cómo se mantiene rápido el control.
- Obtener ayuda y contribuirDónde hacer una pregunta, informar de un error o de una vulnerabilidad, y cómo proponer un cambio en NoWayOS.