Require a TPM.

Added to the existing peripherals section, since it is a peripheral. There will probably be a security section, but that should contain guarantees/apparent behavior. Signed-off-by: Andrei Warkentin <[email protected]>
riscv-non-isa · Jun 9, 2024 · f3bffa2 · f3bffa2
1 parent 464fc58
commit f3bffa2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/server_platform.bib b/server_platform.bib
@@ -55,3 +55,7 @@ @electronic{XHCI
   url = {https://www.intel.com/content/dam/www/public/us/en/documents/technical-specifications/extensible-host-controler-interface-usb-xhci.pdf},
   year = {}
 }
+@electronic{TPM20,
+  title = {TPM 2.0 Library},
+  url = {https://trustedcomputinggroup.org/resource/tpm-library-specification/}
+}
diff --git a/server_platform_requirements.adoc b/server_platform_requirements.adoc
@@ -125,6 +125,7 @@ PCIe devices or be compliant to rules for SoC-integrated PCIe devices (cite:[Ser
 
              * Support 64-bit addressing (S64A = '1').
 | `HPER_070`   | A battery-backed RTC or analogous timekeeping mechanism MUST be implemented.
+| `HPER_080`   | A Trusted Platform Module (TPM) MUST be implemented and adhere to the TPM 2.0 Library specification cite:[TPM20].
 |===
 
 == Server Platform Firmware Requirements

diff --git a/server_platform_tests.adoc b/server_platform_tests.adoc
@@ -88,6 +88,7 @@
 | `MF_HPER_050_010` | _FIXME AHCI test validating register values_.
 | `MF_HPER_060_010` | _FIXME AHCI test validating register values_.
 | `MF_HPER_070_010` | _FIXME UEFI RT based test_.
+| `MF_HPER_080_010` | _FIXME_.
 |===
 
 <<<