.. SPDX-License-Identifier: GPL-2.0

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

.. toctree::
   :maxdepth: 2

   boot-options
   uefi
   mm
   5level-paging
   fake-numa-for-cpusets
   cpu-hotplug-spec
   machinecheck
