Projetos
Quatro projetos. Uma tarefa cada.
Os quatro são de código aberto e desenvolvidos às claras, sob a organização NoWayOS no GitHub.
NoWayOS
O Single Purpose OS.
Padrões de domínio de proteção sobre o seL4 e o Microkit, mensagens tipadas, drivers, rede e uma interface de usuário nativa, com o contêiner de desenvolvimento e as verificações com que todo repositório do NoWayOS faz o build.
- Roda no QEMU e no Raspberry Pi 5
- Um supervisor, um watchdog e um estado de falha segura
- Uma pilha IP e um cliente TLS 1.3, em Rust
- Verificações de concessões, unsafe, licenças e segredos, e uma lista de materiais para cada imagem
- Situação
- Em desenvolvimento
- Licença
- MIT OR Apache-2.0
Screen Compiler
Projete em React. Entregue Rust nativo. Nenhum navegador no dispositivo.
Converte telas React, escritas em TSX dentro de um subconjunto declarado, em Rust para a interface de usuário do NoWayOS. Ele roda em tempo de build, na sua máquina ou na CI, e nunca vai para o dispositivo.
- Exato ou nada: tudo o que estiver fora do subconjunto é recusado, com linha e coluna
- A mesma tela gera Rust idêntico byte a byte em qualquer máquina
- Cada tela convertida precisa corresponder à sua imagem aprovada, pixel a pixel
- Uma ferramenta de build, não um sandbox: converta só telas em que você confia
- Situação
- Em desenvolvimento: subconjunto v0 e as primeiras partes do v1
- Licença
- MIT
Showcase
Aplicações seguras que você pode rodar num Raspberry Pi.
Um kit para telas seguras de autoatendimento, uma aplicação de referência para usar como base e um lançador de exemplos com marcas fictícias, no qual o Raspberry Pi 5 inicializa.
- Sem navegador, WebView ou JavaScript no dispositivo
- A tela e a aplicação em compartimentos separados
- Tudo é projetado para que as respostas de cada pessoa fiquem só na memória do dispositivo e sejam apagadas quando a sessão termina
- Cada tela criada em React e convertida pelo Screen Compiler
- Situação
- Em fase inicial, e não implantável
- Licença
- MIT OR Apache-2.0
Defence Agent
Os portões por onde toda contribuição precisa passar, fora do alcance do pull request.
Cada portão de segurança por onde uma mudança nos projetos abertos do NoWayOS precisa passar, registrado com a ameaça a que responde e quem pode alterá-lo, e o agente que os executa. Um pull request nunca altera nem fornece aquilo que o julga.
- Cada portão diz o que passa, para você conferir a sua mudança antes
- Todo commit com sign-off, conforme o Developer Certificate of Origin
- Uma mudança num portão vai para o mantenedor, e nenhuma mudança julga a si mesma
- O agente nunca decide: um mantenedor lê o veredito dele e faz o merge, ou não
- Situação
- Público: os portões estão registrados; o agente e as suas ferramentas vêm a seguir
- Licença
- MIT OR Apache-2.0
Produtos comerciais sobre a mesma base
Produtos comerciais também são construídos sobre o NoWayOS. Tudo o que for genérico e de que eles precisem é construído no próprio NoWayOS, às claras, e o NoWayOS nunca depende de um produto construído sobre ele.
Licenças
- O NoWayOS, o Showcase e o Defence Agent estão sob MIT OR Apache-2.0, à sua escolha.
- O Screen Compiler é MIT. O Rust que ele gera a partir das suas telas é seu, para licenciar como quiser.
- Os atlas de glifos do NoWayOS estão sob a SIL Open Font License, a licença da fonte a partir da qual são desenhados, e os seus ícones estão sob ISC, a licença do Lucide.
Patrocínio
O NoWayOS é patrocinado pela Adappt.ai.