| CONFIG_BOOTM_EFI=y |
| CONFIG_CMD_BOOTEFI=y |
| CONFIG_CMD_BOOTEFI_HELLO=y |
| CONFIG_CMD_BOOTEFI_HELLO_COMPILE=y |
| CONFIG_CMD_BOOTEFI_SELFTEST=y |
| CONFIG_CMD_EFIDEBUG=y |
| CONFIG_CMD_EFI_VARIABLE_FILE_STORE=y |
| CONFIG_CMD_GPT=y |
| CONFIG_CMD_NVEDIT_EFI=y |
| CONFIG_CMD_RNG=y |
| CONFIG_CMD_RTC=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_OF_LIBFDT=y |
| CONFIG_OPTEE=y |
| CONFIG_PARTITION_TYPE_GUID=y |
| CONFIG_RNG_OPTEE=y |
| CONFIG_RTC_EMULATION=y |
| CONFIG_SCMI_FIRMWARE=y |
| CONFIG_TEE=y |
| CONFIG_TEXT_BASE=0x60000000 |
