1 files changed, 1 insertions, 1 deletions
diff --git a/CONTEXT.md b/CONTEXT.md
index 283467a..c1c5781 100644
--- a/CONTEXT.md
+++ b/CONTEXT.md
@@ -87,7 +87,7 @@ Single Rust crate (`x86_64-unknown-uefi` target).  Module breakdown:
 ## Milestone status (v0.1)
-✅ **Booting** — kernel loads via rsbl, prints banner via UEFI console
+✅ **Booting** — kernel loads via rsbl, prints banner via UEFI console (verified on real hardware)
 ✅ **ExitBootServices** — memory map captured via static `.bss` buffer
  (see `docs/adr/0001-static-buffer-for-memory-map.md`)
 ✅ **Serial** — UART 16550 at COM1, 115200 8N1

diff --git a/CONTEXT.md b/CONTEXT.md index 283467a..c1c5781 100644 --- a/CONTEXT.md +++ b/CONTEXT.md
@@ -87,7 +87,7 @@ Single Rust crate (`x86_64-unknown-uefi` target). Module breakdown:
87		87
88	## Milestone status (v0.1)	88	## Milestone status (v0.1)
89		89
90	✅ Booting — kernel loads via rsbl, prints banner via UEFI console	90	✅ Booting — kernel loads via rsbl, prints banner via UEFI console (verified on real hardware)
91	✅ ExitBootServices — memory map captured via static `.bss` buffer	91	✅ ExitBootServices — memory map captured via static `.bss` buffer
92	(see `docs/adr/0001-static-buffer-for-memory-map.md`)	92	(see `docs/adr/0001-static-buffer-for-memory-map.md`)
93	✅ Serial — UART 16550 at COM1, 115200 8N1	93	✅ Serial — UART 16550 at COM1, 115200 8N1