No hardware required. No account needed. Just QEMU and a curl. Boot the Micro demo in a VM, see NexShell render, and verify the development artifact sidecars produced by the local demo build.
Full system emulation for x86_64, ARM64, or RISC-V.
Native virtualization for boot times under 2 seconds.
The fastest path today. The CLI builds a development Micro image, boots it in QEMU, and shows the Nexus Micro banner plus a NexShell prompt.
What happens: Tries a prebuilt Micro image → builds the local demo image when no prebuilt image exists → boots in QEMU → NexShell appears.
Preview target for the desktop VM image with compositor, registry, and NipCell support. The command surface exists, but this proof pack has not captured a NexBox boot yet.
What happens: Planned full VM path with VirtIO-GPU, Net, Input, and NexShell on the Niri strip.
Preview what the Forge would build for your target without running the full local image pipeline.
What happens: Resolves the Mech recipe, shows dependency graph, prints estimated BKDL evidence and build time. No actual compile.
Rumpk kernel loads. HAL initializes VirtIO devices. Nim L1 scheduler spawns the first fibers. Under 100ms from power-on to prompt.
Type signal.fiber list and see a structured table: fiber names, spectrum tiers, memory usage. No character grid. Semantic rendering.
Run nexus verify on the Micro demo image. The current proof checks development signature, BKDL, and proof sidecars.
Planned NipCell proof. Driver crash and Blink Response restart demos need a separate captured run before public claims expand.
Pick an edition, add drivers, set constraints, and forge your own signed system.
Open the Foundry →Explore the Sovereign Bazaar. Signed, reproducible, content-addressed packages ready to graft.
Visit the Bazaar →Deep-dive into the architecture, API references, and edition specifications.
Explore Docs →If the demo doesn't work on your machine, we want to know. Every failure is a bug in the onboarding path.