CONFIG_ARM=y 
 | 
CONFIG_ARCH_ROCKCHIP=y 
 | 
CONFIG_SYS_MALLOC_F_LEN=0x4000 
 | 
CONFIG_ROCKCHIP_RK3308=y 
 | 
CONFIG_ARM64_BOOT_AARCH32=y 
 | 
CONFIG_ROCKCHIP_SPL_RESERVE_IRAM=0x0 
 | 
# CONFIG_ROCKCHIP_RESOURCE_IMAGE is not set 
 | 
# CONFIG_USING_KERNEL_DTB is not set 
 | 
# CONFIG_GICV2 is not set 
 | 
# CONFIG_ROCKCHIP_SET_SN is not set 
 | 
# CONFIG_ROCKCHIP_SET_ETHADDR is not set 
 | 
CONFIG_TRUST_INI="RK3308AARCH32TRUST.ini" 
 | 
CONFIG_UBOOT_SIZE_KB=512 
 | 
CONFIG_UBOOT_NUM=2 
 | 
CONFIG_TRUST_SIZE_KB=512 
 | 
CONFIG_TRUST_RSA_MODE=3 
 | 
CONFIG_TARGET_EVB_RK3308=y 
 | 
CONFIG_DEFAULT_DEVICE_TREE="rk3308-evb" 
 | 
CONFIG_DEBUG_UART=y 
 | 
# CONFIG_DISTRO_DEFAULTS is not set 
 | 
CONFIG_FIT=y 
 | 
CONFIG_FIT_VERBOSE=y 
 | 
CONFIG_FIT_HW_CRYPTO=y 
 | 
# CONFIG_PASS_DEVICE_SERIAL_BY_FDT is not set 
 | 
CONFIG_BOOTDELAY=0 
 | 
CONFIG_SYS_CONSOLE_INFO_QUIET=y 
 | 
# CONFIG_DISPLAY_CPUINFO is not set 
 | 
CONFIG_HUSH_PARSER=y 
 | 
# CONFIG_FASTBOOT is not set 
 | 
# CONFIG_CMD_BDI is not set 
 | 
# CONFIG_CMD_CONSOLE is not set 
 | 
# CONFIG_CMD_ELF is not set 
 | 
# CONFIG_CMD_FDT is not set 
 | 
# CONFIG_CMD_IMI is not set 
 | 
# CONFIG_CMD_IMLS is not set 
 | 
# CONFIG_CMD_XIMG is not set 
 | 
# CONFIG_CMD_SAVEENV is not set 
 | 
# CONFIG_CMD_ENV_EXISTS is not set 
 | 
# CONFIG_CMD_CRC32 is not set 
 | 
# CONFIG_CMD_FLASH is not set 
 | 
# CONFIG_CMD_FPGA is not set 
 | 
CONFIG_CMD_GPT=y 
 | 
# CONFIG_CMD_LOADB is not set 
 | 
# CONFIG_CMD_LOADS is not set 
 | 
CONFIG_CMD_MMC=y 
 | 
CONFIG_CMD_PART=y 
 | 
# CONFIG_CMD_ITEST is not set 
 | 
# CONFIG_CMD_SETEXPR is not set 
 | 
# CONFIG_CMD_NET is not set 
 | 
# CONFIG_CMD_NFS is not set 
 | 
# CONFIG_CMD_MISC is not set 
 | 
CONFIG_EFI_PARTITION_ENTRIES_NUMBERS=64 
 | 
CONFIG_OF_LIVE=y 
 | 
CONFIG_OF_SPL_REMOVE_PROPS="pinctrl-0 pinctrl-names clock-names interrupt-parent assigned-clocks assigned-clock-rates assigned-clock-parents" 
 | 
CONFIG_REGMAP=y 
 | 
CONFIG_SYSCON=y 
 | 
CONFIG_CLK=y 
 | 
CONFIG_AMP=y 
 | 
CONFIG_ROCKCHIP_AMP=y 
 | 
CONFIG_DM_CRYPTO=y 
 | 
# CONFIG_ROCKCHIP_RSA is not set 
 | 
CONFIG_ROCKCHIP_CRYPTO_V2=y 
 | 
CONFIG_ROCKCHIP_GPIO=y 
 | 
# CONFIG_DM_I2C is not set 
 | 
CONFIG_DM_KEY=y 
 | 
CONFIG_ADC_KEY=y 
 | 
CONFIG_MMC_DW=y 
 | 
CONFIG_MMC_DW_ROCKCHIP=y 
 | 
CONFIG_PHYLIB=y 
 | 
CONFIG_PHY_ROCKCHIP_INNO_USB2=y 
 | 
CONFIG_PINCTRL=y 
 | 
# CONFIG_DM_PWM is not set 
 | 
CONFIG_RAM=y 
 | 
CONFIG_DM_RESET=y 
 | 
CONFIG_RKFLASH=y 
 | 
CONFIG_RKNANDC_NAND=y 
 | 
CONFIG_RKSFC_NAND=y 
 | 
CONFIG_RKSFC_NOR=y 
 | 
CONFIG_BAUDRATE=1500000 
 | 
CONFIG_DEBUG_UART_BASE=0xFF0C0000 
 | 
CONFIG_DEBUG_UART_CLOCK=24000000 
 | 
CONFIG_DEBUG_UART_SHIFT=2 
 | 
CONFIG_DEBUG_UART_SKIP_INIT=y 
 | 
CONFIG_SYSRESET=y 
 | 
# CONFIG_SYSRESET_SYSCON_REBOOT is not set 
 | 
CONFIG_USB=y 
 | 
CONFIG_USB_GADGET=y 
 | 
CONFIG_USB_GADGET_MANUFACTURER="Rockchip" 
 | 
CONFIG_USB_GADGET_VENDOR_NUM=0x2207 
 | 
CONFIG_USB_GADGET_PRODUCT_NUM=0x330d 
 | 
CONFIG_USB_GADGET_DWC2_OTG=y 
 | 
CONFIG_USB_GADGET_DOWNLOAD=y 
 | 
CONFIG_USE_TINY_PRINTF=y 
 | 
CONFIG_REGEX=y 
 | 
CONFIG_ERRNO_STR=y 
 | 
# CONFIG_EFI_LOADER is not set 
 |