.. 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 fsgs