CA
Estat de RedderOS — RedderOS
// transparència

El que està provat i el que no

Publiquem el que hem comprovat, el que falta i en quin ordre ho farem. Si alguna cosa no apareix com a provada, no la donis per feta.

Autotest de v0.3 a QEMU

arrencades
4
errors
0
entorn
QEMU
Resultats de l'autotest de v0.3
ÀreaQuè es comprovaResultat
GRUB · BIOSArrencada per GRUB en BIOS heretada. Tor, tallafoc, lockdown, sysctl, mòduls bloquejats, AppArmor, arrel a la RAM sense swap, sense sudo, i prova de fuites TCP, DNS, UDP i ICMP.Superada
GRUB · UEFILes mateixes comprovacions arrencant per GRUB en UEFI (OVMF).Superada
Perfils · 1a arrencadaEs crea la cambra cuirassada i un perfil, s'escriuen dades al seu /home i es comprova que el disc no revela res: ni signatures LUKS o ext4, ni el nom, ni el contingut.Superada
Perfils · 2a arrencadaDesprés de reiniciar, el sistema no sap que el perfil existeix, una frase incorrecta dona el mateix error que un perfil inexistent i la correcta l'obre amb les dades intactes.Superada

Les proves s'executen en una màquina virtual. Confirmen que la ISO arrenca i que els perfils sobreviuen a un reinici. No substitueixen les proves en maquinari real.

Pendent

Encara no s'ha comprovat:

  • pendentBootstrap de Tor en una xarxa real (l'autotest s'executa a QEMU).
  • pendentProves en portàtils reals amb Secure Boot activat.
  • pendentControladors de maquinari real: la ISO publicada utilitza el nucli virtual (linux-image-virtual) i l'autotest a QEMU no cobreix la wifi ni les targetes gràfiques d'ordinadors físics.
  • pendentBuild amb base Debian.
  • pendentSincronitzar l'hora sense NTP.

Full de ruta

  1. v0.1

    Prototip

    Fet
    • ISO live de 172 MB per a amd64, arrencada BIOS i UEFI.
    • Xarxa Tor o res.
    • Perfils xifrats de coneixement zero.
    • Autotest a QEMU.
  2. v0.2

    Ús diari

    Fet
    • Escriptori Xfce i mode text opcional.
    • Pantalla d'entrada pròpia: sessió amnèsica, obrir i crear perfils.
    • Tor Browser sobre el Tor del sistema.
    • Ponts obfs4 per a xarxes censurades.
    • redder-wipe disponible sense administrador.
  3. v0.3

    Aplicacions

    Pendent
    • Aplicacions aïllades.
    • Aegis i Noctcom.
  4. v1.0

    Confiança

    Pendent
    • Secure Boot amb clau de Redder Labs.
    • Builds reproduïbles.
    • ISO signada.
    • Auditoria externa.

Codi font

RedderOS es publica amb la llicència GNU Affero General Public License v3.0 (AGPL-3.0).

Mostra el repositori