if PAYLOAD_UBOOT config PAYLOAD_SPECIFIC_OPTIONS # dummy def_bool y select PAYLOAD_IS_FLAT_BINARY choice prompt "U-Boot version" default UBOOT_STABLE config UBOOT_STABLE bool "v2019.4" help Stable U-Boot version config UBOOT_MASTER bool "master" help Newest U-Boot version endchoice config PAYLOAD_CONFIGFILE string "U-Boot config file" default "" help This option allows a platform to set Kconfig options for a basic U-Boot payload. In general, if the option is used, the default would be "$(top)/src/mainboard/$(MAINBOARDDIR)/config_uboot" for a config stored in the coreboot mainboard directory, or "$(project_dir)/configs/coreboot-x86_defconfig" to use a config from the U-Boot config directory config PAYLOAD_FILE default "payloads/external/U-Boot/u-boot/u-boot-dtb.bin" config PAYLOAD_OPTIONS default "-l 0x1110000 -e 0x1110015" endif