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