1# Copyright (c) 2024 Intel Corporation
2#
3# SPDX-License-Identifier: Apache-2.0
4
5config BOARD_QEMU_X86
6	bool
7	select CPU_HAS_FPU
8
9config BOARD_QEMU_X86_64
10	bool
11	select X86_64
12
13config BOARD_QEMU_X86_LAKEMONT
14	bool
15	select CPU_HAS_FPU
16
17config BOARD_QEMU_X86_TINY
18	bool
19	select CPU_HAS_FPU
20