18c2ecf20Sopenharmony_ci.. SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci 38c2ecf20Sopenharmony_ci============== 48c2ecf20Sopenharmony_cix86_64 Support 58c2ecf20Sopenharmony_ci============== 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci.. toctree:: 88c2ecf20Sopenharmony_ci :maxdepth: 2 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci boot-options 118c2ecf20Sopenharmony_ci uefi 128c2ecf20Sopenharmony_ci mm 138c2ecf20Sopenharmony_ci 5level-paging 148c2ecf20Sopenharmony_ci fake-numa-for-cpusets 158c2ecf20Sopenharmony_ci cpu-hotplug-spec 168c2ecf20Sopenharmony_ci machinecheck 178c2ecf20Sopenharmony_ci fsgs 18