CONFIG_ARM=y 
 | 
CONFIG_ARCH_ROCKCHIP=y 
 | 
CONFIG_SYS_MALLOC_F_LEN=0x1000 
 | 
CONFIG_ROCKCHIP_RK3128=y 
 | 
CONFIG_DEFAULT_DEVICE_TREE="rk3128-evb" 
 | 
CONFIG_DEBUG_UART=y 
 | 
CONFIG_FIT=y 
 | 
# CONFIG_DISPLAY_CPUINFO is not set 
 | 
CONFIG_ANDROID_BOOTLOADER=y 
 | 
CONFIG_ANDROID_AVB=y 
 | 
CONFIG_BOARD_EARLY_INIT_R=y 
 | 
CONFIG_FASTBOOT_BUF_ADDR=0x60800800 
 | 
CONFIG_FASTBOOT_BUF_SIZE=0x04000000 
 | 
CONFIG_FASTBOOT_FLASH=y 
 | 
CONFIG_FASTBOOT_FLASH_MMC_DEV=0 
 | 
# CONFIG_CMD_IMLS is not set 
 | 
CONFIG_CMD_GPT=y 
 | 
CONFIG_CMD_BOOT_ANDROID=y 
 | 
CONFIG_CMD_BOOT_ROCKCHIP=y 
 | 
CONFIG_CMD_MMC=y 
 | 
CONFIG_CMD_USB=y 
 | 
CONFIG_CMD_USB_MASS_STORAGE=y 
 | 
# CONFIG_CMD_SETEXPR is not set 
 | 
CONFIG_CMD_TIME=y 
 | 
CONFIG_REGMAP=y 
 | 
CONFIG_SYSCON=y 
 | 
CONFIG_CLK=y 
 | 
CONFIG_ROCKCHIP_GPIO=y 
 | 
CONFIG_SYS_I2C_ROCKCHIP=y 
 | 
CONFIG_MMC_DW=y 
 | 
CONFIG_MMC_DW_ROCKCHIP=y 
 | 
CONFIG_PHY=y 
 | 
CONFIG_PHY_ROCKCHIP_INNO_USB2=y 
 | 
CONFIG_PINCTRL=y 
 | 
CONFIG_DM_PMIC=y 
 | 
CONFIG_PMIC_RK8XX=y 
 | 
CONFIG_REGULATOR_PWM=y 
 | 
CONFIG_DM_REGULATOR_FIXED=y 
 | 
CONFIG_REGULATOR_RK8XX=y 
 | 
CONFIG_RAM=y 
 | 
CONFIG_DM_RESET=y 
 | 
CONFIG_DEBUG_UART_BASE=0x20068000 
 | 
CONFIG_DEBUG_UART_CLOCK=24000000 
 | 
CONFIG_DEBUG_UART_SHIFT=2 
 | 
CONFIG_SYSRESET=y 
 | 
CONFIG_USB=y 
 | 
CONFIG_USB_EHCI_HCD=y 
 | 
CONFIG_USB_EHCI_GENERIC=y 
 | 
CONFIG_USB_OHCI_HCD=y 
 | 
CONFIG_USB_OHCI_GENERIC=y 
 | 
CONFIG_USB_DWC2=y 
 | 
CONFIG_USB_STORAGE=y 
 | 
CONFIG_USB_GADGET=y 
 | 
CONFIG_USB_GADGET_DWC2_OTG=y 
 | 
CONFIG_USB_GADGET_DOWNLOAD=y 
 | 
CONFIG_USB_GADGET_MANUFACTURER="Rockchip" 
 | 
CONFIG_USB_GADGET_VENDOR_NUM=0x2207 
 | 
CONFIG_USB_GADGET_PRODUCT_NUM=0x310c 
 | 
CONFIG_USE_TINY_PRINTF=y 
 | 
CONFIG_ERRNO_STR=y 
 | 
# CONFIG_EFI_LOADER is not set 
 | 
CONFIG_AVB_LIBAVB=y 
 | 
CONFIG_AVB_LIBAVB_AB=y 
 | 
CONFIG_AVB_LIBAVB_ATX=y 
 | 
CONFIG_AVB_LIBAVB_USER=y 
 | 
CONFIG_RK_AVB_LIBAVB_USER=y 
 | 
CONFIG_OPTEE_CLIENT=y 
 | 
CONFIG_OPTEE_V1=y 
 |