zephyr/boards/x86/acrn/Kconfig.board

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

config BOARD_ACRN
	bool "ACRN User OS"
	depends on SOC_IA32
	select CPU_HAS_FPU if !X86_IAMCU
	select SET_GDT
boards/x86: add ACRN UOS sample board configuration Based on prior work by @dcpleung. It's suboptimal, but it provides a working starting point for ACRN work. The x86 board/SoC abstractions really need to be refactored to make this "board" (and other x86-based "boards", both extant and future) cleaner and easier to maintain. Punt. Signed-off-by: Charles E. Youse <charles.youse@intel.com> 2019-03-15 00:49:56 +08:00			`#`
			`# Copyright (c) 2019 Intel Corporation`
			`#`
			`# SPDX-License-Identifier: Apache-2.0`
			`#`

			`config BOARD_ACRN`
			`bool "ACRN User OS"`
			`depends on SOC_IA32`
			`select CPU_HAS_FPU if !X86_IAMCU`
			`select SET_GDT`