The latest development version of this page may be more current than this released 2.1.0 version.

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

• CPU_HAS_FPU

• SET_GDT

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"
    select CPU_HAS_FPU
    select SET_GDT
    depends on SOC_IA32 && <choice: Board Selection>

(The ‘depends on’ condition includes propagated dependencies from ifs and menus.)