Help¶

The boot firmware (BIOS) used on the target board.

Defaults¶

PLATFORM_SBL

Choice options¶

Kconfig definition¶

At arch/x86/Kconfig:1

Included via Kconfig:3

Menu path: (top menu)

choice
    bool
    prompt "Type of boot firmware (BIOS) on the target platform"
    default PLATFORM_SBL
    help
      The boot firmware (BIOS) used on the target board.

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