diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/docs/29-PACKAGING-AND-TRIALING.md')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/docs/29-PACKAGING-AND-TRIALING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/risc-v-gsp-rm-vm/docs/29-PACKAGING-AND-TRIALING.md b/debug/risc-v-gsp-rm-vm/docs/29-PACKAGING-AND-TRIALING.md index 53e0f03..1a0e12a 100644 --- a/debug/risc-v-gsp-rm-vm/docs/29-PACKAGING-AND-TRIALING.md +++ b/debug/risc-v-gsp-rm-vm/docs/29-PACKAGING-AND-TRIALING.md @@ -171,7 +171,7 @@ status; a thrown error is recorded and exits 1. and expects the same `status`/call results. Divergence is a finding against the package or the tree, not a nuance. 5. Nothing here is product evidence by itself: any conclusion that would - change `open-iov-vfio` still escalates to a physical capture (docs/06 §6, + change `vgsp` still escalates to a physical capture (docs/06 §6, docs/25 §2.1). The package makes that physical confirmation cheap, it does not replace it. |