choice: Platform

Platform

Type: bool

Defaults

• PLATFORM_SBL

Choice options

• PLATFORM_UEFI
• PLATFORM_SBL

Kconfig definition

At arch/x86/Kconfig:1, in menu (top menu):

choice
    bool
    prompt "Platform"
    default PLATFORM_SBL

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