diff options
Diffstat (limited to 'docs/README.md')
| -rw-r--r-- | docs/README.md | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/docs/README.md b/docs/README.md index c74c59a..61aa529 100644 --- a/docs/README.md +++ b/docs/README.md @@ -169,10 +169,11 @@ Read in order if you are new. Jump directly if you know what you need. | 17 | [Practical challenges and adversarial interoperability](04-implementation/02-practical-challenges-and-adversarial-interop.md) | developers, stakeholders | 20 min | | 18 | [Performance, correctness, security](05-operations/01-performance-correctness-security.md) | developers, auditors | 25 min | | 19 | [Debugging and maintenance workflows](05-operations/02-debugging-and-maintenance-workflows.md) | developers, maintainers | 25 min | -| 20 | [Hardware and software matrix](06-portability/hardware-software-matrix.md) | developers, integrators | 20 min | -| 21 | [Developer onboarding and standards](07-developers/onboarding-and-standards.md) | contributors | 20 min | -| 22 | [HAAEEP and collaboration](08-ecosystem/haaeep-and-collaboration.md) | stakeholders, partners | 20 min | -| 23 | [Glossary and FAQ](09-reference/glossary-and-faq.md) | everyone | reference | +| 20 | [GSP in a RISC-V VM (green-eye, experimental)](05-operations/03-risc-v-gsp-rm-vm.md) — **# TOOL IN DEVELOPMENT - NOT READY YET!** | developers, analysts | 15 min | +| 21 | [Hardware and software matrix](06-portability/hardware-software-matrix.md) | developers, integrators | 20 min | +| 22 | [Developer onboarding and standards](07-developers/onboarding-and-standards.md) | contributors | 20 min | +| 23 | [HAAEEP and collaboration](08-ecosystem/haaeep-and-collaboration.md) | stakeholders, partners | 20 min | +| 24 | [Glossary and FAQ](09-reference/glossary-and-faq.md) | everyone | reference | Row 15 is a **deferred future goal**: host NVIDIA-driver acceleration over a virtual function. The feasibility verdict and a first design sketch are @@ -190,6 +191,11 @@ The pre-reboot flat documents have been merged into this tree and removed * debugging: gdbstub/NMI workflows, the EPT-livelock case study and the failure taxonomy → [`05-operations/02-debugging-and-maintenance-workflows.md`](05-operations/02-debugging-and-maintenance-workflows.md) +* firmware runtime analysis (experimental): running GSP/uproc firmware in a + RISC-V QEMU VM with hooks, watchpoints, memory dumps and `gsp-rm-vfio` + accuracy measurement — **# TOOL IN DEVELOPMENT - NOT READY YET!** → + [`05-operations/03-risc-v-gsp-rm-vm.md`](05-operations/03-risc-v-gsp-rm-vm.md) + (tooling in [`../debug/risc-v-gsp-rm-vm/`](../debug/risc-v-gsp-rm-vm/README.md)) * performance: the microbenchmark list and the A/B methodology → [`05-operations/01-performance-correctness-security.md`](05-operations/01-performance-correctness-security.md) * version upgrades: the firmware/driver upgrade runbook (with the corrected |