[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 Specification 6.6. [Online]. Available: https://uefi.org/specifications

[4] DeviceTree. [Online]. Available: https://www.devicetree.org/

[5] Embedded Base Boot Requirements Specification 2.1.0. [Online]. Available: https://github.com/ARM-software/ebbr/releases/download/v2.1.0/ebbr-v2.1.0.pdf

[6] RISC-V Profile. [Online]. Available: https://github.com/riscv/riscv-profiles

[7] RISC-V Platform Management Interface Specification. [Online]. Available: https://github.com/riscv-non-isa/riscv-rpmi

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

[9] System Management BIOS (SMBIOS) Reference Specification 3.7.0. [Online]. Available: https://www.dmtf.org/standards/smbios

[10] Unified Extensible Firmware Interface Specification 2.11. [Online]. Available: https://uefi.org/specifications

[11] RISC-V "stimecmp / vstimecmp" Extension, 2021. [Online]. Available: https://github.com/riscv/riscv-time-compare

[12] The RISC-V Advanced Interrupt Architecture, 2023. [Online]. Available: https://github.com/riscv/riscv-aia

[13] RISC-V Indirect CSR Access (Smcsrind/Sscsrind), 2023. [Online]. Available: https://github.com/riscv/riscv-indirect-csr-access

[14] RISC-V Supervisor Counter Delegation Specification (Smcdeleg/Ssccfg), 2024. [Online]. Available: https://github.com/riscv/riscv-smcdeleg-ssccfg

[15] UEFI memory mitigations. [Online]. Available: https://learn.microsoft.com/en-us/windows-hardware/drivers/bringup/uefi-ca-memory-mitigation-requirements

[16] UEFI Platform Initialization Specification 1.9. [Online]. Available: https://uefi.org/specifications

[17] PCI Firmware Specification Revision 3.3. [Online]. Available: https://members.pcisig.com/wg/PCI-SIG/document/folder/862

[18] TCG EFI Platform Specification. [Online]. Available: https://trustedcomputinggroup.org/resource/tcg-efi-platform-specification/

[19] Serial Port Console Redirection Table (SPCR). [Online]. Available: https://learn.microsoft.com/en-us/windows-hardware/drivers/serports/serial-port-console-redirection-table

[20] _DSD (Device Specific Data) Implementation Guide. [Online]. Available: https://github.com/UEFI/DSD-Guide/blob/main/dsd-guide.pdf