boards/x86/acrn/Kconfig.board - third_party/github/zephyrproject-rtos/zephyr - Git at Google

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