O que está testado e o que não está
Publicamos o que verificámos, o que falta e por que ordem o vamos fazer. Se algo não aparece como testado, não o dê como garantido.
Autoteste da v0.3 em QEMU
- arranques
- 4
- falhas
- 0
- ambiente
- QEMU
| Área | O que se verifica | Resultado |
|---|---|---|
| GRUB · BIOS | Arranque pelo GRUB em BIOS legado. Tor, firewall, lockdown, sysctl, módulos bloqueados, AppArmor, raiz na RAM sem swap, sem sudo, e teste de fugas TCP, DNS, UDP e ICMP. | Aprovado |
| GRUB · UEFI | As mesmas verificações, arrancando pelo GRUB em UEFI (OVMF). | Aprovado |
| Perfis · 1.º arranque | Cria-se o cofre e um perfil, escrevem-se dados no seu /home e verifica-se que o disco não revela nada: nem assinaturas LUKS ou ext4, nem o nome, nem o conteúdo. | Aprovado |
| Perfis · 2.º arranque | Depois de reiniciar, o sistema não sabe que o perfil existe, uma frase incorreta dá o mesmo erro que um perfil inexistente e a correta abre-o com os dados intactos. | Aprovado |
Os testes são executados numa máquina virtual. Confirmam que a ISO arranca e que os perfis sobrevivem a um reinício. Não substituem os testes em hardware real.
Pendente
Ainda não está verificado:
- pendenteBootstrap do Tor numa rede real (o autoteste é executado em QEMU).
- pendenteTestes em portáteis reais com Secure Boot ativado.
- pendenteControladores de hardware real: a ISO publicada usa o kernel virtual (linux-image-virtual) e o autoteste em QEMU não cobre Wi-Fi nem placas gráficas de computadores físicos.
- pendenteBuild com base Debian.
- pendenteSincronizar a hora sem NTP.
Roadmap
- v0.1
Protótipo
Feito- ISO live de 172 MB para amd64, arranque BIOS e UEFI.
- Rede Tor ou nada.
- Perfis cifrados de conhecimento zero.
- Autoteste em QEMU.
- v0.2
Uso diário
Feito- Ambiente de trabalho Xfce e modo de texto opcional.
- Ecrã de entrada próprio: sessão amnésica, abrir e criar perfis.
- Tor Browser sobre o Tor do sistema.
- Pontes obfs4 para redes censuradas.
- redder-wipe disponível sem administrador.
- v0.3
Aplicações
Pendente- Aplicações isoladas.
- Aegis e Noctcom.
- v1.0
Confiança
Pendente- Secure Boot com chave da Redder Labs.
- Builds reproduzíveis.
- ISO assinada.
- Auditoria externa.
Código-fonte
O RedderOS é publicado com a licença GNU Affero General Public License v3.0 (AGPL-3.0).