choice: Platform

Platform

Type: bool

Help

The BIOS used on the target board.

Defaults

• PLATFORM_SBL

Choice options

• PLATFORM_UEFI
• PLATFORM_SBL

Kconfig definition

At arch/x86/Kconfig:1

Included via Kconfig:3

Menu path: (top menu)

choice
    bool
    prompt "Platform"
    default PLATFORM_SBL
    help
      The BIOS used on the target board.

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