[1] Key words for use in RFCs to Indicate Requirement Levels. [Online]. Available: https://datatracker.ietf.org/doc/html/rfc2119

[2] PCI Express® Base Specification Revision 6.0, . [Online]. Available: https://pcisig.com/pci-express-6.0-specification

[3] Advanced Configuration and Power Interface (ACPI) Specification. [Online]. Available: https://uefi.org/specifications

[4] RISC-V Supervisor Binary Interface Specification v3.0, . [Online]. Available: https://github.com/riscv-non-isa/riscv-sbi-doc

[5] Unified Extensible Firmware Interface. [Online]. Available: https://uefi.org/specifications

[6] RVA23 Profiles, . [Online]. Available: https://github.com/riscv/riscv-profiles

[7] RISC-V Debug Specification v1.0. [Online]. Available: https://github.com/riscv/riscv-debug-spec

[8] RISC-V Advanced Interrupt Architecture (AIA) v1.0. [Online]. Available: https://github.com/riscv/riscv-aia

[9] RISC-V Control Transfer Records (CTR) v1.0. [Online]. Available: https://github.com/riscv/riscv-control-transfer-records

[10] RISC-V Server SoC Specification v1.0, . [Online]. Available: https://github.com/riscv-non-isa/server-soc

[11] National Semiconductor PC16550D UART Datasheet, . [Online]. Available: https://www.scs.stanford.edu/10wi-cs140/pintos/specs/pc16550d.pdf

[12] PrimeCell UART (PL011) Technical Reference Manual. [Online]. Available: https://developer.arm.com/documentation/ddi0183/latest/

[13] eXtensible Host Controller Interface for Universal Serial Bus 1.2, . [Online]. Available: https://www.intel.com/content/dam/www/public/us/en/documents/technical-specifications/extensible-host-controler-interface-usb-xhci.pdf

[14] Advanced Host Controller Interface (AHCI), . [Online]. Available: https://www.intel.com/content/dam/www/public/us/en/documents/technical-specifications/serial-ata-ahci-spec-rev1-3-1.pdf

[15] TPM 2.0 Library. [Online]. Available: https://trustedcomputinggroup.org/resource/tpm-library-specification/

[16] RISC-V Boot and Runtime Services Specification v1.0, . [Online]. Available: https://github.com/riscv-non-isa/riscv-brs

[17] Unified Extensible Firmware Interface, 2.6.2 "Platform-Specific Elements". [Online]. Available: https://uefi.org/specifications

[18] RISC-V IO Mapping Table v1.0. [Online]. Available: https://github.com/riscv-non-isa/riscv-acpi-rimt

[19] TCG Glossary. [Online]. Available: https://trustedcomputinggroup.org/resource/tcg-glossary/

[20] OpenTitan. [Online]. Available: https://opentitan.org/

[21] Caliptra. [Online]. Available: https://github.com/chipsalliance/Caliptra

[22] DICE Attestation Architecture. [Online]. Available: https://trustedcomputinggroup.org/work-groups/dice-architectures/

[23] DSP0274: Security Protocol and Data Model (SPDM) Specification. [Online]. Available: https://www.dmtf.org/standards/spdm