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

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

Design documents and implementation details for the Xen hypervisor.

These are intended for developers working on the Xen hypervisor,
and for those interested in the internal workings of Xen.

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

   launch/index