# Copyright (c) 2024 Intel Corporation
#
# SPDX-License-Identifier: Apache-2.0

config BOARD_QEMU_X86
	bool
	select CPU_HAS_FPU

config BOARD_QEMU_X86_64
	bool
	select X86_64

config BOARD_QEMU_X86_LAKEMONT
	bool
	select CPU_HAS_FPU

config BOARD_QEMU_X86_TINY
	bool
	select CPU_HAS_FPU