[DT]

Devicetree Specification <https://www.devicetree.org/specifications/>

[PI]

Volume 3:Platform Initialization – Shared Architectural Elements, UEFI forum

[ACPI]

Advanced Configuration and Power Interface (ACPI) Specification.

[ArmARM]

Arm® Architecture Reference Manual for the A-profile architecture, Arm LTD.