Portable TinyCC Checkpoint Shell

riscv64 JSLinux booting Alpine Linux with TinyCC already available. Run bootstrap to reproduce the Blynn/HCC checkpoint inside the VM.

Reboot HCC Checkpoint (384 MB) TinyCC Checkpoint (384 MB) Full Rebuild (384 MB) Config

Upload

This demo boots a riscv64 Linux VM entirely in your browser and needs JavaScript and WebAssembly enabled to run. The runbook on the right still describes the bootstrap steps.

Milestones

Kernel starts with normal Linux boot messages on console=hvc0, then runs init=/init.
/init prepares Alpine, materializes the TinyCC checkpoint into /work/blynn, and drops to a shell.
blynn-tcc is available immediately from the Nix-built TinyCC checkpoint.
Run bootstrap to verify the Nix-built riscv64 HCC checkpoint, then reproduce the TinyCC self-host checkpoint inside the VM.
For the full proof run, use bootstrap --from-seed to rebuild stage0-posix, Blynn, HCC, and TinyCC from the seed path.
After either build, the shell has the bootstrapped compiler as blynn-tcc and prints its SHA256 hash.

Shell Check

printf '#include <stdio.h>
int main(void){ puts("tcc works"); return 0; }
' >/tmp/tcc-smoke.c
bootstrap --help
blynn-tcc -dumpversion
cat /work/blynn/tinycc-boot-hcc/tcc.sha256

Mirrored Assets

The page serves the VM runtime and Nix-built split disk image from this GitHub Pages origin so the browser can boot without cross-origin failures.