1CONFIG_ARM=y 2CONFIG_ARCH_MVEBU=y 3CONFIG_SPL_LIBCOMMON_SUPPORT=y 4CONFIG_SPL_LIBGENERIC_SUPPORT=y 5CONFIG_SYS_MALLOC_F_LEN=0x2000 6CONFIG_TARGET_THEADORABLE=y 7CONFIG_SPL_I2C_SUPPORT=y 8CONFIG_SPL_SERIAL_SUPPORT=y 9CONFIG_SPL_SPI_FLASH_SUPPORT=y 10CONFIG_SPL_SPI_SUPPORT=y 11# CONFIG_MMC is not set 12CONFIG_VIDEO=y 13CONFIG_DEFAULT_DEVICE_TREE="armada-xp-theadorable" 14# CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set 15CONFIG_FIT=y 16CONFIG_BOOTDELAY=3 17# CONFIG_CONSOLE_MUX is not set 18CONFIG_SYS_CONSOLE_INFO_QUIET=y 19# CONFIG_DISPLAY_BOARDINFO is not set 20CONFIG_SPL=y 21CONFIG_HUSH_PARSER=y 22CONFIG_CMD_BOOTZ=y 23# CONFIG_CMD_IMLS is not set 24# CONFIG_CMD_FLASH is not set 25CONFIG_CMD_SF=y 26CONFIG_CMD_I2C=y 27# CONFIG_CMD_SETEXPR is not set 28# CONFIG_CMD_NET is not set 29# CONFIG_CMD_NFS is not set 30CONFIG_CMD_CACHE=y 31CONFIG_CMD_TIME=y 32CONFIG_CMD_EXT2=y 33CONFIG_CMD_EXT4=y 34CONFIG_CMD_FAT=y 35CONFIG_CMD_FS_GENERIC=y 36CONFIG_SPL_OF_TRANSLATE=y 37CONFIG_DM_GPIO=y 38CONFIG_SPI_FLASH=y 39CONFIG_SPI_FLASH_MACRONIX=y 40CONFIG_SPI_FLASH_STMICRO=y 41CONFIG_DEBUG_UART=y 42CONFIG_DEBUG_UART_BASE=0xd0012000 43CONFIG_DEBUG_UART_CLOCK=250000000 44CONFIG_DEBUG_UART_SHIFT=2 45CONFIG_SYS_NS16550=y 46CONFIG_VIDEO_MVEBU=y 47# CONFIG_VIDEO_SW_CURSOR is not set 48CONFIG_REGEX=y 49CONFIG_LIB_RAND=y 50