-
CONFIG_BOARD_ACRN
¶
ACRN User OS
Type: bool
Direct dependencies¶
SOC_IA32
&& <choice: Board Selection>
(Includes any dependencies from ifs and menus.)
Symbols selected by this symbol¶
Kconfig definition¶
At boards/x86/acrn/Kconfig.board:4
Included via Kconfig:8
→ Kconfig.zephyr:27
→ boards/Kconfig:22
Menu path: (Top) → Board Selection
config BOARD_ACRN bool "ACRN User OS" selectCPU_HAS_FPU
selectSET_GDT
depends onSOC_IA32
&& <choice: Board Selection>
(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)