Checkpoints
Each chapter has an editable checkpoint folder under tutorial/checkpoints/.
These are not source snapshots. They are small contracts for the end of each chapter: what the kernel should do, how to verify it, and what output proves it worked. That keeps the tutorial easy to edit while the chapter code is still taking shape.
| Folder | Milestone |
|---|---|
tutorial/checkpoints/chapter-01-boot/ | Boot without OpenSBI and print through MMIO UART |
tutorial/checkpoints/chapter-02-opensbi/ | Move the kernel under OpenSBI in supervisor mode |
tutorial/checkpoints/chapter-03-memory/ | Discover RAM and allocate frames |
tutorial/checkpoints/chapter-04-paging/ | Enable Sv39 and map the trampoline |
tutorial/checkpoints/chapter-05-traps/ | Enter user mode and return on traps |
tutorial/checkpoints/chapter-06-processes/ | Spawn isolated user processes |
tutorial/checkpoints/chapter-07-scheduling/ | Preemptive round-robin scheduling |
tutorial/checkpoints/chapter-08-ipc/ | Synchronous endpoint delivery |
tutorial/checkpoints/chapter-09-capabilities/ | Endpoint access controlled by capabilities |
When a chapter changes, update its checkpoint folder in the same patch. If a checkpoint starts needing real code files, that is a sign the chapter itself probably needs more explicit code listings.