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

Hypervisor documentation
========================

.. The toctree of the hypervisor design documentation,
   providing an overview and links to the various design
   documents are added in the `designs` directory and
   are referenced using the `designs/index` page here.
   (this is a documentation comment which is not rendered)

.. toctree::
   :maxdepth: 2

   ../designs/index
   code-coverage

   x86/index
   arm/index