Manual / handbook · v0.1
Documentation
The kernel as it actually is, written down. Start with the overview, skim the architecture, then read the verifier section twice — that's where the interesting work lives.
- 01 · introductionGetting started
Boot axiomOS in QEMU or on a Raspberry Pi 5.
- 02 · introductionOverview
Why axiomOS exists and what it is — a research kernel for verifiable runtime extension.
- 03 · kernelArchitecture
Layered, monolithic, Rust-bounded — the shape of the kernel.
- 04 · ebpfVerifier
How axiomOS proves an eBPF program safe before running it.
- 05 · ebpfHook model
The kernel ABI for attaching verified programs to live kernel events.
- 06 · introductionRoadmap & thesis
What axiomOS is trying to prove next, and the order the work happens in.