Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
250041f4c81eba31ec4a9b0b1b74e9997c7f507f
/
.
/
boards
/
x86
/
acrn
/
Kconfig.board
blob: 9c7d725fd1b1d605b29c15ab1ef03c0f95397e45 [
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
select
SET_GDT