# SPDX-License-Identifier: Apache-2.0

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

config BOARD_QEMU_X86_IAMCU
	bool "QEMU x86 (IAMCU ABI)"
	depends on SOC_IA32
	select QEMU_TARGET
	select HAS_DTS_ETHERNET
	select HAS_COVERAGE_SUPPORT