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

x86
===

.. toctree::
   :maxdepth: 2

   how-xen-boots