.. SPDX-License-Identifier: CC-BY-SA-4.0
.. SPDX-FileCopyrightText: Copyright The Firmware Handoff Specification Contributors

.. [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.