CONFIG_BOOTDELAY=1
# CONFIG_VIDEO is not set
# CONFIG_DISPLAY is not set
# CONFIG_EFI_LOADER is not set
# CONFIG_ENV_IS_IN_MMC is not set
# CONFIG_NET_RANDOM_ETHADDR is not set
# CONFIG_USB_KEYBOARD is not set
# CONFIG_FIT is not set
# CONFIG_FIT_VERBOSE is not set
# CONFIG_SPL_LOAD_FIT is not set
# CONFIG_SPL_OPTEE_IMAGE
# CONFIG_TPL_DRIVERS_MISC is not set
# CONFIG_SPL_TEXT_BASE is not set
# CONFIG_SPL_ROCKCHIP_BACK_TO_BROM is not set
CONFIG_SPL_TEXT_BASE=0x0
CONFIG_MISC=y
CONFIG_MISC_INIT_R=y
CONFIG_ROCKCHIP_EFUSE=y
CONFIG_SHA256=y
CONFIG_TPL=y
CONFIG_SPL_SIZE_LIMIT=0x4b000
CONFIG_TEXT_BASE=0x01000000
