P3 Deadlines and Checkpoints - Checkpoint dates (CK1: 2026-02-27, CK2: 2026-03-13, Final: 2026-04-08) and per-checkpoint requirements
Forbidden Patterns and Hard Requirements - Dangerous-bend rules: no COW, no inline asm, no sim_breakpoint at submission, forbidden scheduling anti-patterns, halt() required
Pebbles Kernel System Call Specification - Full syscall ABI, semantics, and corner cases for all required syscalls from kspec.pdf
Non-Obvious Kernel Design Guidelines - Context switch vs mode switch, locking architecture, scheduler O(1), VM rules, ELF loading, validation, Simics debug integration
Table of Content