Development - #4

Merged

cemililik merged 10 commits into

mainfrom

Apr 21, 2026

Commits on Apr 21, 2026

docs(roadmap): T-003 → Done; open T-004 — cooperative scheduler (A5)

cemililik
and
claude
committed
67df731
docs(adr): propose ADR-0019 — scheduler shape

cemililik
and
claude
committed
2fd990c
docs(adr): record ADR-0018 — badge scheme and reply_recv deferral

cemililik
and
claude
committed
b92f5b3
docs(adr): accept ADR-0019; propose ADR-0020 — ContextSwitch trait and Cpu v2

cemililik
and
claude
committed
178d318
docs(adr,roadmap): accept ADR-0020; advance T-004 Draft → Ready

cemililik
and
claude
committed
bdf982e
feat(a5): implement ContextSwitch trait, QemuVirtCpu, and cooperative scheduler

cemililik
and
claude
committed
6180af4
feat(a5): cooperative context switch — fix three boot bugs; QEMU smoke passes

cemililik
and
claude
committed
4fe547c
docs(standards): add BSP boot checklist and naked-fn rule; run-qemu --int-log

cemililik
and
claude
committed
6f258fb
fix(review): address post-A5 code review findings

cemililik
and
claude
committed
f8dcc4b
docs(skills): add add-bsp skill

cemililik
and
claude
committed
b4879c7