Live Evidence
Live Boot Demo
This boots the real Anvaya OS nucleus under a real qemu-system-riscv64 (machine virt, RV64GC) running on the same server that hosts this site. The serial console is streamed to the terminal below, read-only: you see the kernel come up and print its ANVAYA … OK evidence markers — boot-stack guard, formal-verification, PQC surfaces, threat regression, benchmarks — then reset itself. It is the exact binary the CI proof scripts assert against.
Real server-side QEMU, streamed over a WebSocket. After boot, the kernel drops into a real capability-scoped shell — click into the terminal and type. Marker lines are colored client-side; the kernel output itself is plain, machine-parseable evidence.
Shell commands (after boot, type into the terminal)
| help | list all commands |
| about | version, tagline, creator |
| apps | list the WASM demo apps + runnable live proofs |
| run <proof> | run a LIVE kernel proof: pqc · cheri · mesh · verify · bench · measured · energy · intent |
| caps | capability model summary (runs the CHERI profile proof) |
| mem | boot-stack overflow-guard status |
| clear | clear the screen |
| reboot | reset the machine |
Every run command re-executes the actual kernel proof and streams its real ANVAYA … OK markers — nothing here is mocked.
What you are watching
A fresh QEMU instance per session with an ephemeral disk and no network egress. The kernel runs its full boot proof train — capability tables, scheduler, IPC, virtio drivers, PQC, mesh, energy, verification — then performs an SBI reset, which ends the session. Nothing is pre-recorded.
Honest scope
This is emulation, not physical silicon — Anvaya 1.0.0 is a QEMU-proven milestone with no physical-hardware boot. Sessions are time-limited and rate-limited. To reproduce every marker locally, see the anvaya repository.