| ## SPDX-License-Identifier: GPL-2.0-only |
| |
| config CPU_QEMU_X86 |
| bool |
| select ARCH_X86 |
| select HAVE_EXP_X86_64_SUPPORT |
| select UDELAY_TSC |
| select TSC_MONOTONIC_TIMER |
| select UNKNOWN_TSC_RATE |
| |
| if CPU_QEMU_X86 |
| |
| # coreboot i440fx does not support SMM |
| choice |
| prompt "SMM support" |
| default CPU_QEMU_X86_ASEG_SMM |
| depends on BOARD_EMULATION_QEMU_X86_Q35 |
| |
| config CPU_QEMU_X86_NO_SMM |
| bool "No SMM" |
| select NO_SMM |
| |
| config CPU_QEMU_X86_ASEG_SMM |
| bool "SMM in ASEG" |
| select SMM_ASEG |
| |
| config CPU_QEMU_X86_TSEG_SMM |
| bool "SMM in TSEG" |
| select SMM_TSEG |
| |
| endchoice |
| |
| config MAX_CPUS |
| int |
| default 32 if SMM_TSEG |
| default 4 |
| |
| config HEAP_SIZE |
| default 0x8000 |
| |
| endif |
