Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
3ae52624ffa129dfd1b0f5dc337afd1ddd6c4c1c
/
.
/
boards
/
x86
/
acrn
/
Kconfig.board
blob: 22451875b256cf99dfdbacd3d54c3dce1be40e2e [
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
HAS_DTS
select
CPU_HAS_FPU
if
!
X86_IAMCU
select
SET_GDT