Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
8ae28b796e0419c967b9996faff06ba521a2b713
/
.
/
boards
/
x86
/
acrn
/
Kconfig.board
blob: e8fa3f429877acb81f04e1274fd2bb9e40a629e6 [
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
X86_64