1.. SPDX-License-Identifier: GPL-2.0
2
3==============
4x86_64 Support
5==============
6
7.. toctree::
8   :maxdepth: 2
9
10   boot-options
11   uefi
12   mm
13   5level-paging
14   fake-numa-for-cpusets
15   cpu-hotplug-spec
16   machinecheck
17   fsgs
18