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.

[5] “RFC 8949 Concise Binary Object Representation (CBOR).” 2020, [Online]. Available: www.rfc-editor.org/rfc/rfc8949.

[6] “TEE System Architecture v1.3 | GPD_SPE_009.” 2022, [Online]. Available: globalplatform.org/resource-publication/white-paper-tee-system-architecture-v1-3/.

[7] “RFC 9741 Concise Data Definition Language (CDDL).” 2025, [Online]. Available: www.rfc-editor.org/rfc/rfc9741.