1CONFIG_ARM=y 2CONFIG_TARGET_TS4600=y 3CONFIG_SPL_LIBCOMMON_SUPPORT=y 4CONFIG_SPL_LIBGENERIC_SUPPORT=y 5CONFIG_FIT=y 6CONFIG_SYS_EXTRA_OPTIONS="ENV_IS_IN_MMC" 7CONFIG_SYS_CONSOLE_IS_IN_ENV=y 8# CONFIG_DISPLAY_CPUINFO is not set 9CONFIG_SPL=y 10CONFIG_HUSH_PARSER=y 11CONFIG_CMD_BOOTZ=y 12# CONFIG_CMD_IMLS is not set 13# CONFIG_CMD_FLASH is not set 14CONFIG_CMD_MMC=y 15CONFIG_CMD_EXT4=y 16CONFIG_CMD_EXT4_WRITE=y 17CONFIG_CMD_FAT=y 18CONFIG_CMD_FS_GENERIC=y 19CONFIG_MMC_MXS=y 20CONFIG_OF_LIBFDT=y 21