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

[2] libRPMI. [Online]. Available: https://github.com/riscv-software-src/librpmi

[3] Advanced Configuration and Power Interface Specification v6.6. [Online]. Available: https://uefi.org/specifications

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