Bibliography

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

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

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

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