boards/x86/x86_jailhouse/Kconfig.board

# SPDX-License-Identifier: Apache-2.0

config BOARD_X86_JAILHOUSE
	bool "QEMU x86 (root cell)"
	depends on SOC_IA32
	select QEMU_TARGET
	select CPU_HAS_FPU if !X86_IAMCU