diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/24-DEVICE-MAP.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/24-DEVICE-MAP.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/24-DEVICE-MAP.md b/debug/risc-v-gsp-rm-vm/docs/24-DEVICE-MAP.md index 0dde6a8..6790e72 100644 --- a/debug/risc-v-gsp-rm-vm/docs/24-DEVICE-MAP.md +++ b/debug/risc-v-gsp-rm-vm/docs/24-DEVICE-MAP.md @@ -1,6 +1,6 @@ # 24 — Device map: first-touch MMIO and lenient native execution -> **# TOOL IN DEVELOPMENT - NOT READY YET!** See 00 for status. +> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). > This is the H2.1 data layer and the first H2.2 building block, not a device > model. It carries the same fidelity rules as `06-ACCURACY.md`: L3 remains > **absent**; nothing here is a hardware, timing or security claim. @@ -55,9 +55,9 @@ Exact `(address, width, kind)` wins; a different width at the same address is still evidence for the register. A write to a read-observed address is absorbed; a read of a write-only register reads back zero. -## 3. Harvesting from `greeneye probe` +## 3. Harvesting from `./risc-v-gsp-rm-debugger.sh probe` -`greeneye probe` (unchanged) records `blobs/qemu.log` and the parsed +`./risc-v-gsp-rm-debugger.sh probe` (unchanged) records `blobs/qemu.log` and the parsed `qemu_first_fault` in `session.json`. Harvest reads either: ```bash |