1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_QEMU_X86 4 bool 5 select ARCH_X86 6 select HAVE_X86_64_SUPPORT 7 select UDELAY_TSC 8 select TSC_MONOTONIC_TIMER 9 select UNKNOWN_TSC_RATE 10 select NEED_SMALL_2MB_PAGE_TABLES # QEMU doesn't support 1GB pages 11 12if CPU_QEMU_X86 13 14# coreboot i440fx does not support SMM 15choice 16 prompt "SMM support" 17 default CPU_QEMU_X86_ASEG_SMM 18 depends on BOARD_EMULATION_QEMU_X86_Q35 19 20config CPU_QEMU_X86_NO_SMM 21 bool "No SMM" 22 select NO_SMM 23 24config CPU_QEMU_X86_ASEG_SMM 25 bool "SMM in ASEG" 26 select SMM_ASEG 27 28config CPU_QEMU_X86_TSEG_SMM 29 bool "SMM in TSEG" 30 select SMM_TSEG 31 32endchoice 33 34config SMM_TSEG_SIZE 35 hex 36 depends on SMM_TSEG 37 default 0x100000 38 39config MAX_CPUS 40 int 41 default 32 if SMM_TSEG 42 default 4 43 44endif 45