Bibliography

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

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

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

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

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

[6] “RVA23 Profiles.” [Online]. Available: github.com/riscv/riscv-profiles.

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

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

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

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

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

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

[13] “eXtensible Host Controller Interface for Universal Serial Bus 1.2.” [Online]. Available: 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: 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: trustedcomputinggroup.org/resource/tpm-library-specification/.

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

[17] “Unified Extensible Firmware Interface, 2.6.2 ‘Platform-Specific Elements.’” [Online]. Available: uefi.org/specifications.

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

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

[20] “OpenTitan.” [Online]. Available: opentitan.org/.

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

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

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