.. only:: html

   Bibliography
   ============

.. [GLOB] `GNU Bash Manual - Pattern Matching
           <https://www.gnu.org/software/bash/manual/html_node/Pattern-Matching.html>`_

.. [DTSpec] `Devicetree Specification
            <https://github.com/devicetree-org/devicetree-specification/releases/download/v0.3/devicetree-specification-v0.3.pdf>`_,
            Version 0.3, `devicetree.org <https://devicetree.org>`_, 13 February 2020.

.. [FreeRTOS] `FreeRTOS™ <https://www.freertos.org/>`_

.. [Lopper] `Lopper source code repository
            <https://github.com/devicetree-org/lopper>`_.

.. [Linux] The Linux kernel, see `About Linux Kernel
           <https://kernel.org/linux.html>`

.. [OpenAMP] `The OpenAMP Project <https://www.openampproject.org/>`_

.. [RHEL] `Red Hat Enterprise Linux
          <https://www.redhat.com/en/technologies/linux-platforms/enterprise-linux>`_

.. [TF-A] `Trusted Firmware-A
          <https://developer.arm.com/Tools%20and%20Software/Trusted%20Firmware-A>`_

.. [U-Boot] `Das U-Boot -- the Universal Boot Loader
            <https://www.denx.de/wiki/U-Boot>`_

.. [Ubuntu] `Ubuntu Linux <https://ubuntu.com/>`_

.. [Xen] `Xen Project hypervisor
         <https://xenproject.org/developers/teams/xen-hypervisor/>`_

.. [Yocto] `Yocto Project <https://www.yoctoproject.org/>`_

.. [Zephyr] `Zephyr Project <https://www.zephyrproject.org>`_