diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 12:41:52 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-02 12:41:52 -0400 |
| commit | 14cf2aa59c44a50f9a108b93d58c7cecab17d45f (patch) | |
| tree | 92076b380791fe650cad54bbd1ca7f4e33c85c35 /debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md | |
| parent | 1c99bfbeffff04529f6f669601fdf835a73778da (diff) | |
| download | open-iov-14cf2aa59c44a50f9a108b93d58c7cecab17d45f.tar.gz open-iov-14cf2aa59c44a50f9a108b93d58c7cecab17d45f.zip | |
debug: risc-v-gsp-rm-debugger final pass - remove in-development notices, complete rename, adversarial-review fixes
Remove the '# TOOL IN DEVELOPMENT - NOT READY YET!' notices from the tool docs/README/scripts and the project docs; record the removal (2026-10-02) against the tool audit (debug/risc-v-gsp-rm-vm/docs/27-TOOL-AUDIT.md), the 194-test suite and the value-validation demos (docs/25-VALUE-VALIDATION.md).
Complete the cosmetic rename to risc-v-gsp-rm-debugger in user-facing prose and commands (launcher, roadmap, docs); internal greeneye package and code identifiers unchanged.
Adversarial-review fixes: deterministic control-discovery sweep (flaky test root-caused), UUID session dirs + atomic JSON writes for concurrent runs, Ghidra bridge loopback enforcement and clean shutdown, fp register restore in Session.call, version_diff --dry-run, 30 s interrupt budget, dry-run non-destructiveness verified.
Docs: flag-removal records, link fixes, command/flag corrections (fdematch arity, port_new_device --out, trace filename), F2 orchestration note in future-eng-ops; STATE-CURRENT status refreshed.
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md b/debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md index db5109c..2022cf1 100644 --- a/debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md +++ b/debug/risc-v-gsp-rm-vm/docs/11-GSP-RM-SERVICE-DEVELOPER-GUIDE.md @@ -1,8 +1,7 @@ # 11 — GSP RM firmware service developer guide -> **# TOOL IN DEVELOPMENT - NOT READY YET!** See 00 for status and 06 for the -> fidelity caveats. Exact proprietary API names are not reproduced in tracked -> docs; local provenance lives in the local analysis notes. +> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). +> See [06-ACCURACY](06-ACCURACY.md) for the fidelity caveats. ## 1. What this guide is for @@ -130,12 +129,12 @@ prototype is analysed exactly like firmware code. 2. **Integration run:** `invoke_via_firmware` with the mailbox path, while hooks on the firmware's dispatcher and watchpoints on the control block record the full route. -3. **Ghidra-driven:** `greeneye ghidra` + `GreenEyeControl.java` — execute +3. **Ghidra-driven:** `./risc-v-gsp-rm-debugger.sh ghidra` + `GreenEyeControl.java` — execute until a service address, set breakpoints from the decompiler, read registers/memory, export hits (docs/13). 4. **Coverage:** run with the TCG plugin filtered to the service load range - (`qemu/greeneye-trace.c`, `start=`/`end=` args) to see every access. -5. **Regression:** record a session per command; `greeneye compare` detects + (`qemu/greeneye_trace.c`, `start=`/`end=` args) to see every access. +5. **Regression:** record a session per command; `./risc-v-gsp-rm-debugger.sh compare` detects changed hit/watch/write profiles when the service or firmware changes. ## 8. Rules and pitfalls |