VelaOS v0.1.0 — Zero-Trust Persistence Milestone

VelaOS v0.1.0 — Zero-Trust persistence milestone

Native seL4/Microkit, Rust no_std storage and a VirtIO block adapter now demonstrate persistent signed state across two independent QEMU boots.

• 41 required markers on the first boot and 5 cold-recovery markers; identical disk hash after an idempotent retry.
• The original 37-marker E2E regression remains available.
• Root launcher: bash run-velaos.sh or make boot.
• Windows: powershell -ExecutionPolicy Bypass -File scripts\verify-bridge-e2e.ps1 -Hardware.
• Source archive attached; local seeds and test disk images are excluded.

This is an experimental systems milestone, not a daily-driver OS. UserSelection/Biscuit are accepted host fixtures; native Glass storage, full immutable/encrypted LFS, production trust roots and physical hardware qualification remain open.

Cargo, Docker/BuildKit and Python 3 are prerequisites. First-time SDK/toolchain download and build can take substantially longer than three minutes; no universal cold-start timing guarantee is made. Linux is only the development host/container, not the VelaOS guest kernel.

See README.md and docs/LFS_HARDWARE_LOCAL.md for evidence and precise boundaries.

VelaOS 2.2 — Runtime/QEMU Development Preview

VelaOS 2.2 is a public development preview, not an installable desktop OS or a security-qualified release.

Assets

• velaos-qemu-loader.img — AArch64 seL4/Microkit QEMU demonstration image, built and smoke-tested by post-merge CI on 277e46ad9273bf6a8a8c81e7820c534f80c67746.
• velaos-qemu-loader.img.sha256 — SHA-256 checksum for the image.

SHA-256: 7871165742d153981b040b3a7fab4b4f6dfd28496eea418e02ad3d2af3ffc33d.

Verify and boot (WSL/Linux)

Download both assets above into the same directory. Install QEMU if necessary, verify the image, then boot it:

sudo apt install qemu-system-arm
sha256sum -c velaos-qemu-loader.img.sha256
qemu-system-aarch64 \
  -machine virt,virtualization=on \
  -cpu cortex-a53 \
  -m 2G \
  -nic none \
  -serial mon:stdio \
  -nographic \
  -device loader,file=velaos-qemu-loader.img,addr=0x70000000,cpu-num=0

Exit QEMU with Ctrl+A, then X. The release image is not pcb-root.img, which is the separate Gate C root-task proof. The same command and details are in the repository README.

Benchmark status

The strict <250 ms intent-routing maximum remains not met. The latest 20-round ready-model run had one 264.2297 ms sample on a route-cache miss; p95 was 163.4565 ms. This was local inference timing, not QEMU emulation overhead. A separate 6,000-hit cache authorization microbenchmark performed fresh Biscuit validation on each hit (p95 0.2565 ms, max 0.6014 ms); no authorization bypass was implemented.

The <1.5 GB total OS idle RAM target is not qualified. The QEMU guest's LFS state is volatile, and complete Gate B–G integration/security qualification remains open.

VelaOS 2.0 — Public development preview

VelaOS 2.0 — preview pubblica

Desktop Debian 13/KDE Plasma 6 con componenti Vela integrati. Versione di sviluppo, da provare in una VM dedicata. ISO derivata dalla build R2 verificata, con chiavi di sviluppo rimosse e servizi SSH mascherati; documentazione pubblica aggiornata.

Include temi, dock e scrivania, quattro moduli delle impostazioni, Store, browser, terminale, assistente configurabile, benvenuto e guida. Il modello non è preinstallato. I test di protocollo con un modello simulato non sono prove di inferenza reale.

Non sono convalidati installer completo, dual boot, hardware fisico, sospensione, inferenza reale o prestazioni. Leggere problemi noti, verifiche e guida VirtualBox prima dell'uso. Scaricare il checksum insieme alla ISO e verificarlo prima dell'avvio.

Verifiche di questa ISO

• Avvio pulito fino a Plasma Wayland e prima pagina del benvenuto in una VM VirtualBox 7.2.20 dedicata, EFI, 2 CPU e 4 GB RAM.
• Servizio e socket TCP SSH mascherati; servizio inattivo; nessuna porta TCP SSH in ascolto.
• Assenti chiave autorizzata e marcatore della build di sviluppo.
• Nessun servizio utente fallito al termine della prova.
• Filesystem estratto dalla ISO identico a quello preparato; launcher eseguibili e correzione del benvenuto presenti.
• Checksum verificato dopo la copia su Windows e confrontabile con il digest degli asset GitHub.
• Controlli su GitHub Actions passati: sintassi, compilazione Python, 401 test terminale (4 saltati), 52 test assistente e 13 controlli browser. I test del modello usano server simulati.

SHA256 della ISO:

5f51a1c1ce6a224dbd62629a31bf55afe4679f49b605904677d8f515f1672160

Gli asset comprendono ISO, checksum, ZIP dei sorgenti, inventario dei pacchetti, script VirtualBox e prove del nuovo avvio. I sorgenti Vela, le guide e le licenze sono nel repository. Per i pacchetti della distribuzione consultare THIRD_PARTY.md.

Contributi benvenuti: Issues, Discussions, guida ai contributi.