# CONFIG_SPL_ATF_NO_PLATFORM_PARAM is not set
CONFIG_BOOTM_OPTEE=y
CONFIG_CMD_BOOTEFI_HELLO=y
CONFIG_CMD_BOOTEFI_SELFTEST=y
CONFIG_CMD_DATE=y
CONFIG_CMD_EFIDEBUG=y
CONFIG_CMD_NVEDIT_EFI=y
CONFIG_CMD_RNG=y
CONFIG_CMD_RTC=y
CONFIG_CMD_SETEXPR=y
CONFIG_DM_RTC=y
CONFIG_EFI_HTTP_BOOT=y
CONFIG_EFI_RT_VOLATILE_STORE=y
CONFIG_EFI_SET_TIME=y
CONFIG_OPTEE=y
CONFIG_OPTEE_LIB=y
CONFIG_OPTEE_TZDRAM_SIZE=0x02000000
CONFIG_RTC_EMULATION=y
CONFIG_TEE=y