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 | 271bb3251267fec68f5c9cec63314b22cfaefe75 (patch) | |
| tree | 7807872b74b49ba77a145c51c405f690425c6b43 /debug/risc-v-gsp-rm-vm/harness/value_demos/s06_inject_service.py | |
| parent | 05797fd8cf884bb680540dfc188f36836a215c9f (diff) | |
| download | open-iov-271bb3251267fec68f5c9cec63314b22cfaefe75.tar.gz open-iov-271bb3251267fec68f5c9cec63314b22cfaefe75.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/harness/value_demos/s06_inject_service.py')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/harness/value_demos/s06_inject_service.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debug/risc-v-gsp-rm-vm/harness/value_demos/s06_inject_service.py b/debug/risc-v-gsp-rm-vm/harness/value_demos/s06_inject_service.py index 04dd001..dc5949e 100644 --- a/debug/risc-v-gsp-rm-vm/harness/value_demos/s06_inject_service.py +++ b/debug/risc-v-gsp-rm-vm/harness/value_demos/s06_inject_service.py @@ -76,7 +76,8 @@ def run() -> dict: C.write_json(os.path.join(out, "inject.json"), payload) return payload - session = ge.launch(kernel=C.DEMO_ELF, backend=backend, record=os.path.join(out, "session"), name="vd-s06") + session_dir = C.session_dir(out) + session = ge.launch(kernel=C.DEMO_ELF, backend=backend, record=session_dir, name="vd-s06") try: ctrl = session.symbols.lookup("gsp_ctrl") session.run(duration=0.25) @@ -96,7 +97,7 @@ def run() -> dict: "remote": {"ping": remote_ping, "sum": remote_sum}, "via_firmware": {"ping": via_fw_ping, "sum": via_fw_sum}, "mailbox_command": C.INJECT_CMD_BASE + C.SERVICE_SLOT, - "session": os.path.relpath(os.path.join(out, "session"), C.TOOL_ROOT), + "session": os.path.relpath(session_dir, C.TOOL_ROOT), "question": "load/register/invoke a service blob end-to-end, both routes", "answer": ( f"service loaded at {service.load_addr:#x}, slot {service.slot} " |