CONFIG_PLATFORM

(No prompt – not directly user assignable.)

Type: string

Defaults

• “uefi” if PLATFORM_UEFI
• “sbl” if PLATFORM_SBL

Kconfig definition

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

config PLATFORM
    string
    default "uefi" if PLATFORM_UEFI
    default "sbl" if PLATFORM_SBL

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