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

CONFIG_BOARD_ACRN

ACRN User OS

Type: bool

Direct dependencies

SOC_IA32 && <choice: Board Selection>

(Includes any dependencies from if’s and menus.)

Symbols selected by this symbol

• HAS_DTS if SOC_IA32 && <choice: Board Selection>
• CPU_HAS_FPU if !X86_IAMCU && SOC_IA32 && <choice: Board Selection>
• SET_GDT if SOC_IA32 && <choice: Board Selection>

Kconfig definition

At boards/x86/acrn/Kconfig.board:7

Included via Kconfig:10 → Kconfig.zephyr:25 → boards/Kconfig:21

Menu path: (top menu) → Board Selection

config BOARD_ACRN
    bool
    prompt "ACRN User OS" if SOC_IA32 && <choice: Board Selection>
    select HAS_DTS if SOC_IA32 && <choice: Board Selection>
    select CPU_HAS_FPU if !X86_IAMCU && SOC_IA32 && <choice: Board Selection>
    select SET_GDT if SOC_IA32 && <choice: Board Selection>
    depends on SOC_IA32 && <choice: Board Selection>

(Definitions include propagated dependencies, including from if’s and menus.)