1CONFIG_ARM=y 2CONFIG_ARCH_ROCKCHIP=y 3CONFIG_SPL_LIBCOMMON_SUPPORT=y 4CONFIG_SPL_LIBGENERIC_SUPPORT=y 5CONFIG_SYS_MALLOC_F_LEN=0x800 6CONFIG_ROCKCHIP_RK3036=y 7CONFIG_TPL_TEXT_BASE=0x10081000 8CONFIG_TPL_STACK=0x10081fff 9# CONFIG_SPL_ROCKCHIP_BACK_TO_BROM is not set 10CONFIG_TPL_ROCKCHIP_BACK_TO_BROM=y 11CONFIG_ROCKCHIP_SPL_RESERVE_IRAM=0x0 12CONFIG_RKIMG_BOOTLOADER=y 13CONFIG_TARGET_EVB_RK3036=y 14CONFIG_SPL_DRIVERS_MISC_SUPPORT=y 15CONFIG_SPL_STACK_R_ADDR=0x60600000 16CONFIG_DEFAULT_DEVICE_TREE="rk3036-sdk" 17CONFIG_DEBUG_UART=y 18CONFIG_TPL_SYS_MALLOC_F_LEN=0x0 19CONFIG_FIT=y 20CONFIG_FIT_VERBOSE=y 21CONFIG_SPL_LOAD_FIT=y 22CONFIG_SPL_FIT_GENERATOR="arch/arm/mach-rockchip/make_fit_optee.sh" 23# CONFIG_DISPLAY_CPUINFO is not set 24CONFIG_ANDROID_BOOTLOADER=y 25# CONFIG_SPL_RAW_IMAGE_SUPPORT is not set 26# CONFIG_SPL_LEGACY_IMAGE_SUPPORT is not set 27CONFIG_SPL_STACK_R=y 28CONFIG_SPL_STACK_R_MALLOC_SIMPLE_LEN=0x2000 29CONFIG_SPL_OPTEE_SUPPORT=y 30CONFIG_SPL_OPTEE=y 31CONFIG_TPL_TINY_FRAMEWORK=y 32CONFIG_TPL_SERIAL_SUPPORT=y 33CONFIG_FASTBOOT_BUF_SIZE=0x04000000 34CONFIG_FASTBOOT_FLASH=y 35CONFIG_FASTBOOT_FLASH_MMC_DEV=0 36# CONFIG_CMD_IMLS is not set 37CONFIG_CMD_GPT=y 38CONFIG_CMD_I2C=y 39CONFIG_CMD_LOAD_ANDROID=y 40CONFIG_CMD_BOOT_ANDROID=y 41CONFIG_CMD_MMC=y 42CONFIG_CMD_SF=y 43CONFIG_CMD_SPI=y 44# CONFIG_CMD_SETEXPR is not set 45CONFIG_CMD_CACHE=y 46CONFIG_CMD_TIME=y 47# CONFIG_SPL_DOS_PARTITION is not set 48# CONFIG_SPL_ISO_PARTITION is not set 49# CONFIG_SPL_EFI_PARTITION is not set 50CONFIG_SPL_PARTITION_UUIDS=y 51CONFIG_SPL_OF_CONTROL=y 52CONFIG_OF_SPL_REMOVE_PROPS="pinctrl-0 pinctrl-names interrupt-parent assigned-clocks assigned-clock-rates assigned-clock-parents" 53CONFIG_REGMAP=y 54CONFIG_SPL_REGMAP=y 55CONFIG_SYSCON=y 56CONFIG_SPL_SYSCON=y 57CONFIG_CLK=y 58CONFIG_SPL_CLK=y 59CONFIG_ROCKCHIP_GPIO=y 60CONFIG_SYS_I2C_ROCKCHIP=y 61CONFIG_LED=y 62CONFIG_MMC_DW=y 63CONFIG_MMC_DW_ROCKCHIP=y 64CONFIG_PINCTRL=y 65CONFIG_SPL_PINCTRL=y 66CONFIG_DM_REGULATOR_FIXED=y 67CONFIG_RAM=y 68CONFIG_SPL_RAM=y 69CONFIG_DM_RESET=y 70# CONFIG_TPL_DM_SERIAL is not set 71CONFIG_DEBUG_UART_BASE=0x20068000 72CONFIG_DEBUG_UART_CLOCK=24000000 73CONFIG_DEBUG_UART_SHIFT=2 74CONFIG_SYSRESET=y 75CONFIG_USB=y 76CONFIG_USB_GADGET=y 77CONFIG_USB_GADGET_DWC2_OTG=y 78CONFIG_USB_GADGET_DOWNLOAD=y 79CONFIG_G_DNL_MANUFACTURER="Rockchip" 80CONFIG_G_DNL_VENDOR_NUM=0x2207 81CONFIG_G_DNL_PRODUCT_NUM=0x310a 82CONFIG_CMD_DHRYSTONE=y 83CONFIG_USE_TINY_PRINTF=y 84CONFIG_ERRNO_STR=y 85CONFIG_AVB_LIBAVB=y 86CONFIG_AVB_LIBAVB_AB=y 87CONFIG_AVB_LIBAVB_ATX=y 88CONFIG_AVB_LIBAVB_USER=y 89CONFIG_OPTEE_CLIENT=y 90CONFIG_OPTEE_V1=y 91