Bibliography

[1] “RISC-V Boot and Runtime Services Specification (BRS).” [Online]. Available: github.com/riscv-non-isa/riscv-brs.

[2] “RISC-V Security Model.” [Online]. Available: github.com/riscv-non-isa/riscv-security-model.

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

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

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

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

[7] “RISC-V Instruction Set Manual, Volume I: Unprivileged Architecture.” [Online]. Available: github.com/riscv/riscv-isa-manual.

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

[9] “RISC-V IOMMU Architecture Specification.” [Online]. Available: github.com/riscv-non-isa/riscv-iommu.

[10] “PCI Code and ID Assignment Specification Revision 1.1.” [Online]. Available: pcisig.com/sites/default/files/files/PCI_Code-ID_r_1_11__v24_Jan_2019.pdf.

[11] “RISC-V RAS error record register interface.” [Online]. Available: github.com/riscv/riscv-ras-eri.

[12] “RISC-V Capacity and Bandwidth QoS Register Interface.” [Online]. Available: github.com/riscv-non-isa/riscv-cbqri.

[13] “RISC-V Instruction Set Manual, Volume II: Privileged Architecture.” [Online]. Available: github.com/riscv/riscv-isa-manual.

[14] “Redfish specification 1.18.0.” [Online]. Available: www.dmtf.org/dsp/DSP0266.

[15] “PLDM base specification 1.1.0.” [Online]. Available: www.dmtf.org/dsp/DSP0240.

[16] “MCTP base specification 1.3.1.” [Online]. Available: www.dmtf.org/dsp/DSP0236.

[17] “Security protocol and data model (SPDM) specification 1.2.1.” [Online]. Available: www.dmtf.org/dsp/DSP0274.

[18] “Secured messages using SPDM specification 1.1.0.” [Online]. Available: www.dmtf.org/dsp/DSP0277.

[19] “Intelligent Platform Management Interface (IPMI) 2.0.” [Online]. Available: www.intel.com/content/dam/www/public/us/en/documents/product-briefs/ipmi-second-gen-interface-spec-v2-rev1-1.pdf.

[20] “Datacenter Secure Control Module Specification.” [Online]. Available: www.opencompute.org/documents/ocp-dc-scm-spec-rev-1-0-pdf.

[21] “TPM 2.0 Library.” [Online]. Available: trustedcomputinggroup.org/resource/tpm-library-specification/.