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 fred 19