diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/12-INJECTION-SDK.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/12-INJECTION-SDK.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/12-INJECTION-SDK.md b/debug/risc-v-gsp-rm-vm/docs/12-INJECTION-SDK.md index 65ebb1d..9438179 100644 --- a/debug/risc-v-gsp-rm-vm/docs/12-INJECTION-SDK.md +++ b/debug/risc-v-gsp-rm-vm/docs/12-INJECTION-SDK.md @@ -1,7 +1,7 @@ # 12 — Injection SDK specification (v1, demo ABI) -> **# TOOL IN DEVELOPMENT - NOT READY YET!** See 00 for status and -> [`RISC-V-GSP-RM-DEBUGGER-ROADMAP.md`](../RISC-V-GSP-RM-DEBUGGER-ROADMAP.md) §H1/H3 for the program. +> Status: implemented, documented and tested (audit: docs/27-TOOL-AUDIT.md; value demos: docs/25-VALUE-VALIDATION.md). +> See [`RISC-V-GSP-RM-DEBUGGER-ROADMAP.md`](../RISC-V-GSP-RM-DEBUGGER-ROADMAP.md) §H1/H3 for the program. ## 1. Goals and non-goals @@ -102,7 +102,7 @@ The injector records, in the session directory: * `qemu.log`-style blobs are not applicable (no probe here), but the TCG trace can be enabled for full coverage. -Comparison of injected-service runs uses the standard `greeneye compare` +Comparison of injected-service runs uses the standard `./risc-v-gsp-rm-debugger.sh compare` profiles, so a change in a service's behaviour is visible like any firmware change. |