diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/16-CUSTOM-SIMULATOR.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/16-CUSTOM-SIMULATOR.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/16-CUSTOM-SIMULATOR.md b/debug/risc-v-gsp-rm-vm/docs/16-CUSTOM-SIMULATOR.md index 4e96a44..b2980bc 100644 --- a/debug/risc-v-gsp-rm-vm/docs/16-CUSTOM-SIMULATOR.md +++ b/debug/risc-v-gsp-rm-vm/docs/16-CUSTOM-SIMULATOR.md @@ -160,7 +160,7 @@ adds: differential tests against QEMU, gate behind H2, minimal `Backend`. * Confidentiality/isolation/security claims: a study environment only (§06 §6). * Replacing QEMU before M4; native is opt-in (`--backend native`, M6). * Graphics/board emulation, undeclared fidelity claims, or shipping: nothing - here becomes a dependency of `gsp-rm-vfio` or a guest. + here becomes a dependency of `vgsp` or a guest. ### 3.1 Fidelity claims |