diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-06 19:28:39 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-10-06 19:28:39 -0400 |
| commit | 6c3fd5df61ff2f5cb8833ead6c05eaff9fdc92bf (patch) | |
| tree | 3b3680902cd2223cbe60aaec0a0799cfc7b26be6 /debug/risc-v-gsp-rm-vm/README.md | |
| parent | a5473c91b8869b017385582ea969783b33553ded (diff) | |
| download | open-iov-6c3fd5df61ff2f5cb8833ead6c05eaff9fdc92bf.tar.gz open-iov-6c3fd5df61ff2f5cb8833ead6c05eaff9fdc92bf.zip | |
risc-v-gsp-rm-debugger: land docs 45-53 + harness/sim tool set with tests
rm_capture (chunked decode), launch_audit, state_seed/state_decode,
valprobe, rehost, contracts+run_contracts, host_traffic, gmmu_walk,
msgq_attach, libos_port, log_decode, server_snapshot; doc index updates
in the tool overview, operations pages and the repo README.
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/README.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/README.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/README.md b/debug/risc-v-gsp-rm-vm/README.md index d730660..3c71442 100644 --- a/debug/risc-v-gsp-rm-vm/README.md +++ b/debug/risc-v-gsp-rm-vm/README.md @@ -127,6 +127,14 @@ SIMULATOR-WORK-BOUNDARY.txt scope contract for the 2026-10-03 simulator wave | [42-GMMU-FBIF-OBSERVABILITY](docs/42-GMMU-FBIF-OBSERVABILITY.md) | observe-only GMMU/FBIF windows and `greeneye-gmmu-fbif-trace/1` (in development) | | [43-GMMU-PTE-DECODER](docs/43-GMMU-PTE-DECODER.md) | clean-room TU104 GMMU PTE/PDE decoder (in development) | | [44-GMMU-ORACLE-AND-WORKFLOW](docs/44-GMMU-ORACLE-AND-WORKFLOW.md) | oracle-vs-simulator comparison and static<->dynamic register join (in development) | +| [45-RM-RPC-CAPTURE-AND-REPLAY](docs/45-RM-RPC-CAPTURE-AND-REPLAY.md) | real-client GSP RPC capture: decode, compare, replay prep (`harness/rm_capture.py`, in development) | +| [46-SURGICAL-REHOST](docs/46-SURGICAL-REHOST.md) | run one bounded firmware function on the emulator with crafted state (`harness/rehost.py`, in development) | +| [47-VALIDATION-PREDICATE-PROBE](docs/47-VALIDATION-PREDICATE-PROBE.md) | run one firmware validation branch with crafted state and labelled outcomes (`harness/valprobe.py`, in development) | +| [48-GMMU-WALK-AND-LAUNCH-AUDIT](docs/48-GMMU-WALK-AND-LAUNCH-AUDIT.md) | functional GMMU page-table walk + launch memory-contract audit (`sim/gmmu_walk.py`, `harness/launch_audit.py`, in development) | +| [49-SIMULATION-SURFACE-MAP](docs/49-SIMULATION-SURFACE-MAP.md) | emulator coverage map and value-to-campaign proof (in development) | +| [50-WALL-WORKFLOW](docs/50-WALL-WORKFLOW.md) | wall-class taxonomy, capture discipline, contract registry (`harness/contracts.py`, `harness/run_contracts.py`, in development) | +| [51-HOST-TRAFFIC-LOOP](docs/51-HOST-TRAFFIC-LOOP.md) | emulated command/status transport, RPC framing, stub dispatch, `rm_capture` replay (`sim/host_traffic.py`, in development) | +| [52-RM-OBJECT-STATE-SEEDING](docs/52-RM-OBJECT-STATE-SEEDING.md) | declarative RM-object state seeding for rehost/valprobe (`harness/state_seed.py`, in development) | | [RISC-V-GSP-RM-DEBUGGER-ROADMAP](RISC-V-GSP-RM-DEBUGGER-ROADMAP.md) | the long-term program (H1–H7) | Scope contract for the current simulator wave: |