.. SPDX-License-Identifier: GPL-2.0

==============
x86_64 Support
==============

.. toctree::
   :maxdepth: 2

   boot-options