Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
270d535fb48e97869b248bd20a2d535466066f16
/
.
/
boards
/
x86
/
acrn
/
Kconfig.board
blob: 46ea70977b669c4e96853d32dcdaf2b153d26527 [
file
] [
log
] [
blame
]
#
# 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