[1] RISC-V IOMMU Specification 1.0.0. [Online]. Available: https://github.com/riscv-non-isa/riscv-iommu/releases/download/v1.0.0/riscv-iommu.pdf

[2] Advanced Configuration and Power Interface Specification 6.5. [Online]. Available: https://uefi.org/specs/ACPI/6.5

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