Read the system
The documents that explain how Rabbit is built, measured and run.
- ArchitectureThe crates, the design decisions, the milestone ladder, the risks and the stop rules.Read
- The reportThe measurements, the findings, the losses and the threats to validity.Read
- Boot protocolWhat the Xen PVH handover guarantees, the trampoline, the memory map and how to debug it.View source
- BenchmarkingThe method, the rig, the protocol and the raw numbers with their caveats.View source
- The quantized checkpointThe format of the quantized checkpoint, how to produce it and how to check it.View source
- Learning pathHow to read the kernel and the userland, the experiments to run and the sources worth reading next.View source
- The Linux build hostHow to build mainline Linux and a rootfs, and the artifact handoff for the comparison.View source
How these pages stay in sync
The documents live as Markdown in the repository. On every build, a script copies them into the site and renders them with the same layout. What you read here is the same file that lives in the repo.