Live Evidence
Live Boot Demo
This boots the real AnvayaOS 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: you see the kernel come up and print its ANVAYA … OK evidence markers, then reach the interactive shell. The demo backend verifies its kernel and signed driver bundle against the release manifest at startup.
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 accepts shell commands. A requested reboot or the session time limit ends the session. Nothing is pre-recorded.
Honest Scope
This is emulation, not physical silicon — the demo boots Anvaya v1.8.3 under -smp 4, so you see the real multi-hart SMP scheduler bring-up; 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.