From ff88a2b6f328f852b4e562540af6e44f2065a085 Mon Sep 17 00:00:00 2001 From: Jiewen Yao Date: Wed, 31 Jan 2024 14:29:36 +0800 Subject: [PATCH] clarify both usage Signed-off-by: Jiewen Yao --- specification/04-requirements.adoc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/specification/04-requirements.adoc b/specification/04-requirements.adoc index 2e72233..6369c1a 100644 --- a/specification/04-requirements.adoc +++ b/specification/04-requirements.adoc @@ -235,9 +235,9 @@ into TVMs, it must: === Guest A TVM guest must verify and explictly accept any TDI into their TCBs. The TSM -prevents both TDIs from directly accessing the TVM confidential memory and the -TVM from doing memory mapped I/O with TDIs, unless the TVM guest accepts the -TDI. +prevents TDIs from directly accessing the TVM confidential memory and prevents +the TVM from doing memory mapped I/O with TDIs, unless the TVM guest accepts +the TDI. By implementing the CoVE-IO guest ABI, the TSM allows for a TVM guest to verify the trustworthiness of an assigned TDI. The TVM also uses the same ABI to notify