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