diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/03-SCRIPTING.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/03-SCRIPTING.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/03-SCRIPTING.md b/debug/risc-v-gsp-rm-vm/docs/03-SCRIPTING.md index 93dfccf..93b9b65 100644 --- a/debug/risc-v-gsp-rm-vm/docs/03-SCRIPTING.md +++ b/debug/risc-v-gsp-rm-vm/docs/03-SCRIPTING.md @@ -1,6 +1,6 @@ # 03 — risc-v-gsp-rm-debugger scripting -> **# 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). risc-v-gsp-rm-debugger scripts are ordinary Python programs run with `./risc-v-gsp-rm-debugger.sh run <script.py>` (or `python3 -m greeneye run …`). The @@ -15,7 +15,7 @@ import greeneye as ge # Launch the bundled demo (QEMU -kernel fast path), recording by default. s = ge.launch(kernel="firmware/uproc_demo/build/uproc_demo.elf", record=True, name="my-run") -# Or attach to an already-running gdbstub (e.g. started by `greeneye launch`). +# Or attach to an already-running gdbstub (e.g. started by `risc-v-gsp-rm-debugger.sh launch`). # s = ge.attach(port=4444, record="dumps/attach-run") try: |