daniel/danos
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects 1 Releases Wiki Activity

Mark Phase 0 done: baseline QEMU suite green (48/48)

Browse Source
This commit is contained in:
Daniel Samson
2026-07-12 23:17:20 +01:00
parent 140229b88d
commit ed76cbbc79
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/m17-m18-plan.md
+3 -3
View File
@@ -26,9 +26,9 @@ run the existing QEMU suite green before any new work starts.
The loop marks a phase `[x]` in the same commit that lands it. A phase is marked The loop marks a phase `[x]` in the same commit that lands it. A phase is marked
only when its definition of green holds. only when its definition of green holds.
- [ ] **Phase 0** — baseline: docs committed ✓, feat/usb merged to main ✓, pushed ✓; - [x] **Phase 0** — baseline: docs committed, feat/usb merged to main, pushed;
remaining: rename `usb-xhci-libary.zig` → `usb-xhci-library.zig` (naming `usb-xhci-libary.zig` renamed to `usb-xhci-library.zig`; existing QEMU
typo, empty file), run the existing QEMU suite green from the worktree. suite green from the worktree (48/48, 2026-07-12).
- [ ] **M17.1** — kernel releases claims/MSI on death (branch `feat/process-lifecycle`) - [ ] **M17.1** — kernel releases claims/MSI on death (branch `feat/process-lifecycle`)
- [ ] **M17.2** — exit reasons - [ ] **M17.2** — exit reasons
- [ ] **M17.3** — published exit events + VFS subscriber - [ ] **M17.3** — published exit events + VFS subscriber