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