| ## SPDX-License-Identifier: GPL-2.0-only |
| |
| config CPU_QEMU_X86 |
| bool |
| 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 4 if SMM_ASEG |
| default 32 |
| |
| config CPU_QEMU_X86_64 |
| bool "Experimental 64bit support" |
| select ARCH_ALL_STAGES_X86_64 |
| select ARCH_POSTCAR_X86_64 |
| |
| config CPU_QEMU_X86_32 |
| bool |
| default n if CPU_QEMU_X86_64 |
| default y |
| select ARCH_ALL_STAGES_X86_32 |
| select ARCH_POSTCAR_X86_32 |
| endif |