# SPDX-License-Identifier: Apache-2.0

config BOARD_QEMU_X86
	bool "QEMU x86"
	depends on SOC_IA32
	select QEMU_TARGET
	select CPU_HAS_FPU
	select HAS_COVERAGE_SUPPORT

config BOARD_QEMU_X86_64
	bool "QEMU x86_64"
	depends on SOC_IA32
	select QEMU_TARGET
	select X86_64
	select HAS_COVERAGE_SUPPORT

config BOARD_QEMU_X86_LAKEMONT
	bool "QEMU x86 (Lakemont)"
	depends on SOC_LAKEMONT
	select QEMU_TARGET
	select CPU_HAS_FPU
	select HAS_COVERAGE_SUPPORT

config BOARD_QEMU_X86_TINY
	bool "QEMU x86 (tiny memory)"
	depends on SOC_IA32
	select QEMU_TARGET
	select CPU_HAS_FPU