diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/01-DESIGN.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/01-DESIGN.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/01-DESIGN.md b/debug/risc-v-gsp-rm-vm/docs/01-DESIGN.md index 034f87c..0e23bcc 100644 --- a/debug/risc-v-gsp-rm-vm/docs/01-DESIGN.md +++ b/debug/risc-v-gsp-rm-vm/docs/01-DESIGN.md @@ -1,6 +1,6 @@ # 01 — risc-v-gsp-rm-debugger design -> **# 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). ## 1. Why this shape @@ -151,7 +151,7 @@ declarative so they can come from a Ghidra type export or a plugin later. ## 9. Ghidra bridge -* Out: `greeneye symbols export --names … --index … --exports … --callgraph …` +* Out: `./risc-v-gsp-rm-debugger.sh symbols export --names … --index … --exports … --callgraph …` builds `greeneye-symbols.json` from the project's existing TSV exports. * In: `greeneye.ghidra.export_hits(session_dir, out_tsv)` writes `addr<TAB>hits<TAB>symbol`, and `MarkGreenEyeHits.java` annotates those |