Ajuda
Comece a usar o NoWayOS
De uma pasta vazia ao seL4 inicializando no QEMU, e depois num Raspberry Pi 5. Todos os comandos aqui rodam no contêiner de desenvolvimento do NoWayOS, então a sua máquina precisa de muito pouco.
Antes de começar. O NoWayOS está em desenvolvimento e não está pronto para entrar em produção: todas as APIs são provisórias e vão mudar.
Alguma palavra nova para você? O glossário explica cada uma em uma ou duas linhas.
Comece aqui
- Primeiros passosMonte o contêiner de desenvolvimento do NoWayOS e rode a sua demo clicável, com cada quadro verificado, sem precisar de hardware nem de conhecimento de seL4.
- Seu primeiro sistema no QEMUInicialize o seL4 no QEMU com um domínio de proteção em Rust, leia os três arquivos que definem um sistema, veja o seL4 parar uma parte que vai longe demais e clique pela interface de usuário.
Entenda
Construa
- Telas a partir de ReactCrie telas em React e TSX e deixe o Screen Compiler transformá-las em Rust nativo para o NoWayOS em tempo de build: o subconjunto suportado, os comandos e por que ele recusa em vez de adivinhar.
- Rodando em um Raspberry Pi 5O que comprar, como montar e gravar o cartão SD, como ler e verificar o log serial da placa, e como rodar sistemas no Pi 5 sem ninguém por perto ou acompanhar a interface de usuário na tela HDMI.
Verifique e contribua
- Verificações e evidênciasO que o make ci executa e o que cada verificação mostra, as regras básicas que todo crate segue, como ler o registro do seL4 e a lista de materiais de uma imagem, e como a bateria de verificações continua rápida.
- Como obter ajuda e contribuirOnde fazer uma pergunta, relatar um bug ou uma vulnerabilidade, e como propor uma mudança no NoWayOS.