O que está probado e o que non
Publicamos o que comprobamos, o que falta e en que orde o imos facer. Se algo non aparece como probado, non o deas por feito.
Autotest de v0.3 en QEMU
- arranques
- 4
- fallos
- 0
- contorno
- QEMU
| Área | Que se comproba | Resultado |
|---|---|---|
| GRUB · BIOS | Arranque por GRUB en BIOS herdada. Tor, devasa, lockdown, sysctl, módulos bloqueados, AppArmor, raíz na RAM sen swap, sen sudo, e proba de fugas TCP, DNS, UDP e ICMP. | Superado |
| GRUB · UEFI | As mesmas comprobacións arrincando por GRUB en UEFI (OVMF). | Superado |
| Perfís · 1.º arranque | Créase a caixa forte e un perfil, escríbense datos no seu /home e compróbase que o disco non revela nada: nin sinaturas LUKS ou ext4, nin o nome, nin o contido. | Superado |
| Perfís · 2.º arranque | Tras reiniciar, o sistema non sabe que o perfil existe, unha frase incorrecta dá o mesmo erro que un perfil inexistente e a correcta ábreo cos datos intactos. | Superado |
As probas execútanse nunha máquina virtual. Confirman que a ISO arrinca e que os perfís sobreviven a un reinicio. Non substitúen as probas en hardware real.
Pendente
Aínda non está comprobado:
- pendenteBootstrap de Tor nunha rede real (o autotest execútase en QEMU).
- pendenteProbas en portátiles reais con Secure Boot activado.
- pendenteDrivers de hardware real: a ISO publicada usa o kernel virtual (linux-image-virtual) e o autotest en QEMU non cobre wifi nin tarxetas gráficas de equipos físicos.
- pendenteBuild con base Debian.
- pendenteSincronizar a hora sen NTP.
Folla de ruta
- v0.1
Prototipo
Feito- ISO live de 172 MB para amd64, arranque BIOS e UEFI.
- Rede Tor ou nada.
- Perfís cifrados de coñecemento cero.
- Autotest en QEMU.
- v0.2
Uso diario
Feito- Escritorio Xfce e modo texto opcional.
- Pantalla de acceso propia: sesión amnésica, abrir e crear perfís.
- Tor Browser sobre o Tor do sistema.
- Pontes obfs4 para redes censuradas.
- redder-wipe dispoñible sen administrador.
- v0.3
Aplicacións
Pendente- Aplicacións illadas.
- Aegis e Noctcom.
- v1.0
Confianza
Pendente- Secure Boot con chave de Redder Labs.
- Builds reproducibles.
- ISO asinada.
- Auditoría externa.
Código fonte
RedderOS publícase coa licenza GNU Affero General Public License v3.0 (AGPL-3.0).