Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
17d0d8e1b304094130189a65574b0acfba59ed92
/
.
/
boards
/
x86
/
acrn
/
Kconfig.board
blob: 0b3d3f0e671f36f27cead9fd53436ed45839c4b0 [
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