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

Design documents
================

Design documents and implementation details for the Xen hypervisor itself.
This is intended for developers working on the Xen hypervisor,
and for those interested in the internal workings of Xen.

.. toctree::
   :maxdepth: 2
   :numbered: 4

   launch/hyperlaunch
   launch/hyperlaunch-devicetree
   claims/index