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