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

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

See :ref:`memory_claims` for more details on the implementation of the claims
mechanism in the Hypervisor and its interaction with the buddy allocator.

.. toctree::
   :maxdepth: 2

   code-coverage

   mm/index
   x86/index
   arm/index