Lo que está probado y lo que no
Publicamos lo que hemos comprobado, lo que falta y en qué orden lo vamos a hacer. Si algo no aparece como probado, no lo des por hecho.
Autotest de v0.3 en QEMU
- arranques
- 4
- fallos
- 0
- entorno
- QEMU
| Área | Qué se comprueba | Resultado |
|---|---|---|
| GRUB · BIOS | Arranque por GRUB en BIOS heredado. Tor, cortafuegos, lockdown, sysctl, módulos bloqueados, AppArmor, raíz en RAM sin swap, sin sudo, y prueba de fugas TCP, DNS, UDP e ICMP. | Superado |
| GRUB · UEFI | Las mismas comprobaciones arrancando por GRUB en UEFI (OVMF). | Superado |
| Perfiles · 1.er arranque | Se crea la bóveda y un perfil, se escriben datos en su /home y se comprueba que el disco no revela nada: ni firmas LUKS o ext4, ni el nombre, ni el contenido. | Superado |
| Perfiles · 2.º arranque | Tras reiniciar, el sistema no sabe que el perfil existe, una frase incorrecta da el mismo error que un perfil inexistente y la correcta lo abre con los datos intactos. | Superado |
Las pruebas se ejecutan en una máquina virtual. Confirman que la ISO arranca y que los perfiles sobreviven a un reinicio. No sustituyen a las pruebas en hardware real.
Pendiente
Todavía no está comprobado:
- pendienteBootstrap de Tor en una red real (el autotest se ejecuta en QEMU).
- pendientePruebas en portátiles reales con Secure Boot activado.
- pendienteDrivers de hardware real: la ISO publicada usa el kernel virtual (linux-image-virtual) y el autotest en QEMU no cubre Wi-Fi ni gráficas de equipos físicos.
- pendienteBuild con base Debian.
- pendienteSincronizar la hora sin NTP.
Roadmap
- v0.1
Prototipo
Hecho- ISO live de 172 MB para amd64, arranque BIOS y UEFI.
- Red Tor o nada.
- Perfiles cifrados de conocimiento cero.
- Autotest en QEMU.
- v0.2
Uso diario
Hecho- Escritorio Xfce y modo texto opcional.
- Pantalla de entrada propia: sesión amnésica, abrir y crear perfiles.
- Tor Browser sobre el Tor del sistema.
- Puentes obfs4 para redes censuradas.
- redder-wipe disponible sin administrador.
- v0.3
Aplicaciones
Pendiente- Aplicaciones aisladas.
- Aegis y Noctcom.
- v1.0
Confianza
Pendiente- Secure Boot con clave de Redder Labs.
- Builds reproducibles.
- ISO firmada.
- Auditoría externa.
Código fuente
RedderOS se publica con licencia GNU Affero General Public License v3.0 (AGPL-3.0).