diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/00-OVERVIEW.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/00-OVERVIEW.md | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/00-OVERVIEW.md b/debug/risc-v-gsp-rm-vm/docs/00-OVERVIEW.md index f1e1946..3b56512 100644 --- a/debug/risc-v-gsp-rm-vm/docs/00-OVERVIEW.md +++ b/debug/risc-v-gsp-rm-vm/docs/00-OVERVIEW.md @@ -42,11 +42,17 @@ whole stack scriptable, and QEMU is just the first execution backend. | Session recording + `analyze` report | working, live-verified | | Declarative probe specs | working, live-verified | | Plugin loader + example plugin | working | -| Test suite | 22 tests green (live QEMU smoke included) | +| Native RV64IMAC simulator (M1, `--backend native`) | working; QEMU-parity differential test | +| Native exec/access trace (M1.5, R4): `--trace`, analyzer coverage | working; trace blob + determinism test | +| Test suite | 155 tests green (live QEMU + native differential included) | | Ghidra bridge | scripts + docs | | Real GSP `.fwimage` probe (first-fault report) | working (honest: it does not boot without a TU104 model — see 06) | -| TCG full-memory tracing plugin | source + optional build | -| MCP server / custom simulator / full device model | roadmap only (08) | +| TCG full-memory tracing plugin | source + optional build (verified live) | +| Automation harness (mutation/portability/version diff) + value demos | working (18/19/21/25) | +| Host RM oracle harness (`rmharness`) | wrappers + capture working; device tables depend on driver permissions (17) | +| First-touch device map + lenient native MMIO | working (24) | +| MCP server (`plugins/mcp_server.py`) | working (20); stdlib-only, read-only by default | +| Native M2+ device model | roadmap only (08, 16) | ## Quick start @@ -84,7 +90,18 @@ Interactively: | [13-GHIDRA-CONTROL](13-GHIDRA-CONTROL.md) | driving green-eye from Ghidra | | [14-ADVERSARIAL-INTEROP-GUIDE](14-ADVERSARIAL-INTEROP-GUIDE.md) | adversarial firmware navigation | | [15-AGENTIC-GSP-IDE](15-AGENTIC-GSP-IDE.md) | agentic workflows and runbooks | -| [16-CUSTOM-SIMULATOR](16-CUSTOM-SIMULATOR.md) | non-QEMU simulator design (later) | +| [16-CUSTOM-SIMULATOR](16-CUSTOM-SIMULATOR.md) | native simulator (M1/M1.5 implemented; M2+ design) | +| [17-RM-HARNESS](17-RM-HARNESS.md) | host RM oracle harness (`rmharness`) | +| [18-HARNESS-AUTOMATION](18-HARNESS-AUTOMATION.md) | mutation/portability automation | +| [19-CONTROL-DISCOVERY](19-CONTROL-DISCOVERY.md) | unknown-call discovery and reachability | +| [20-MCP-SERVER](20-MCP-SERVER.md) | bundled MCP server plugin | +| [21-CI-RELEASE-PIPELINE](21-CI-RELEASE-PIPELINE.md) | release triage pipeline | +| [22-PORTING-CUDA-AND-DEVICES](22-PORTING-CUDA-AND-DEVICES.md) | porting playbook | +| [23-RM610-READINESS](23-RM610-READINESS.md) | RM 610 readiness checklist | +| [24-DEVICE-MAP](24-DEVICE-MAP.md) | first-touch MMIO device map | +| [25-VALUE-VALIDATION](25-VALUE-VALIDATION.md) | value-validation demos s01–s10 | +| [26-ARCHITECTURE](26-ARCHITECTURE.md) | full architecture and API surface map | +| [27-TOOL-AUDIT](27-TOOL-AUDIT.md) | tool audit: purpose, tests, usage, status | | [GREEN-EYE-ROADMAP](../GREEN-EYE-ROADMAP.md) | long-term program H1–H7 | ## Where this fits in the Open-IOV workflow |