5. BibliographyΒΆ
- ACPI
Advanced Configuration and Power Interface specification v6.2A, September 2017, UEFI Forum
- DTSPEC
- LINUXA64BOOT
Linux Documentation/arm64/booting.rst, Linux kernel
- PSCI
Power State Coordination Interface Issue C (PSCI v1.0) 30 January 2015, Arm Limited
- ArmBBR
Arm Base Boot Requirements specification Issue F (v1.0) 6 Oct 2020, Arm Limited
- UEFI
Unified Extensible Firmware Interface Specification v2.9, February 2020, UEFI Forum
- RVPLTSPEC
- RVSBISPEC
- RVHYPSPEC