.. SPDX-License-Identifier: CC-BY-SA-4.0

.. only:: html

   ************
   Bibliography
   ************

.. [ACPI] `Advanced Configuration and Power Interface specification v6.2A
   <http://www.uefi.org/sites/default/files/resources/ACPI%206_2_A_Sept29.pdf>`_,
   September 2017, `UEFI Forum <http://www.uefi.org>`_

.. [DTSPEC] `Devicetree specification v0.3
   <https://github.com/devicetree-org/devicetree-specification/releases/tag/v0.3>`_,
   `Devicetree.org <https://devicetree.org>`_

.. [LINUXA64BOOT] `Linux Documentation/arm64/booting.rst
   <https://www.kernel.org/doc/html/latest/arm64/booting.html>`_,
   Linux kernel

.. [PSCI] `Power State Coordination Interface Issue C (PSCI v1.0)
   <https://developer.arm.com/documentation/den0022/c>`_
   30 January 2015, `Arm Limited <http://www.arm.com>`_

.. [ArmBBR] `Arm Base Boot Requirements specification Issue F (v1.0)
   <https://developer.arm.com/documentation/den0044/f>`_
   6 Oct 2020, `Arm Limited <http://www.arm.com>`_

.. [UEFI] `Unified Extensible Firmware Interface Specification v2.9
   <https://uefi.org/sites/default/files/resources/UEFI_Spec_2_9_2021_03_18.pdf>`_,
   February 2020, `UEFI Forum <http://www.uefi.org>`_

.. [RVPLTSPEC] `RISC-V Platform specification <https://github.com/riscv/riscv-platform-specs>`_

.. [RVSBISPEC] `RISC-V Supervisor Binary Interface specification <https://github.com/riscv/riscv-sbi-doc>`_

.. [RVHYPSPEC] `RISC-V ISA Hypervisor extension <https://github.com/riscv/riscv-isa-manual/blob/master/src/hypervisor.tex>`_