From 53ed5c27599afa179d3723077dac83b572ef3537 Mon Sep 17 00:00:00 2001 From: Samuel Ortiz Date: Mon, 18 Mar 2024 08:33:17 +0100 Subject: [PATCH] specification: Make IDE key ownership model clearer Fixes #83 Signed-off-by: Samuel Ortiz --- specification/07-theory_operations.adoc | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/specification/07-theory_operations.adoc b/specification/07-theory_operations.adoc index 4e5f4fe..768cf57 100644 --- a/specification/07-theory_operations.adoc +++ b/specification/07-theory_operations.adoc @@ -81,10 +81,14 @@ I/O rules apply: used to protect the PCIe link between the TVM and the TDI. * A single selective IDE stream is established between the physical device and its Root Port. All TDIs from the physical device share this single IDE stream. -* For each physical device from which a TDI is attached to a TVM, the TSM - generates, owns and distributes the IDE stream keys to both the physical - device and the RP. -* The TSM configures the RP PCIe IDE extended capability. +* The TSM that establishes the SPDM connection with a physical device must + generate, own and distribute the IDE stream keys to both the physical device + and the RP. +* A TDI must not be bound to a TVM if the TSM managing the TVM does not own the + IDE keys for the TDI's physical device. +* The TSM that owns the IDE keys for an IDE stream established between a physical + device and its RP also configures the corresponding RP PCIe IDE extended + capability. As the TSM is responsible for setting both the RP IDE keys and PCI IDE capabilities, it must be the IDE operations owner for any downstream device for