| # CONFIG_USE_BOOTCOMMAND is not set |
| CONFIG_BOOTCOMMAND="bootflow scan -lb" |
| CONFIG_BOOTMETH_DISTRO=y |
| CONFIG_BOOTM_EFI=y |
| CONFIG_BOOTSTD_BOOTCOMMAND=y |
| CONFIG_BOOTSTD_DEFAULTS=y |
| CONFIG_BOOTSTD_FULL=y |
| CONFIG_CMD_BOOTDEV=y |
| CONFIG_CMD_BOOTEFI=y |
| CONFIG_CMD_BOOTEFI_HELLO=y |
| CONFIG_CMD_BOOTEFI_HELLO_COMPILE=y |
| CONFIG_CMD_BOOTEFI_SELFTEST=y |
| CONFIG_CMD_BOOTMETH=y |
| CONFIG_CMD_DM=y |
| CONFIG_CMD_EFIDEBUG=y |
| CONFIG_CMD_EFI_VARIABLE_FILE_STORE=y |
| CONFIG_CMD_GETTIME=y |
| CONFIG_CMD_GPT=y |
| CONFIG_CMD_NVEDIT_EFI=y |
| CONFIG_CMD_RNG=y |
| CONFIG_CMD_RTC=y |
| CONFIG_CMD_TIME=y |
| CONFIG_DM_RNG=y |
| CONFIG_DM_RTC=y |
| CONFIG_EFI_DEVICE_PATH_TO_TEXT=y |
| CONFIG_EFI_GET_TIME=y |
| CONFIG_EFI_HAVE_RUNTIME_RESET=y |
| CONFIG_EFI_LOADER=y |
| CONFIG_EFI_LOADER_HII=y |
| CONFIG_EFI_MM_COMM_TEE=y |
| CONFIG_EFI_PARTITION=y |
| CONFIG_EFI_SECURE_BOOT=y |
| CONFIG_EFI_SET_TIME=y |
| CONFIG_EFI_UNICODE_CAPITALIZATION=y |
| CONFIG_EFI_UNICODE_COLLATION_PROTOCOL2=y |
| CONFIG_EFI_VARIABLE_FILE_STORE=y |
| CONFIG_FAT_WRITE=y |
| CONFIG_FIT=y |
| CONFIG_FS_FAT=y |
| CONFIG_ISO_PARTITION=y |
| CONFIG_MISC=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_LIBFDT=y |
| CONFIG_OPTEE=y |
| CONFIG_PARTITION_TYPE_GUID=y |
| CONFIG_RNG_OPTEE=y |
| CONFIG_TEE=y |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_VEXPRESS_CONFIG=y |
