1CONFIG_ARM=y 2CONFIG_ARCH_EXYNOS=y 3CONFIG_ARCH_EXYNOS4=y 4CONFIG_DEFAULT_DEVICE_TREE="exynos4210-smdkv310" 5CONFIG_SPL=y 6CONFIG_HUSH_PARSER=y 7CONFIG_SYS_PROMPT="SMDKV310 # " 8CONFIG_CMD_BOOTZ=y 9# CONFIG_CMD_IMLS is not set 10# CONFIG_CMD_XIMG is not set 11CONFIG_CMD_MMC=y 12# CONFIG_CMD_FPGA is not set 13CONFIG_CMD_DHCP=y 14# CONFIG_CMD_NFS is not set 15CONFIG_CMD_MII=y 16CONFIG_CMD_PING=y 17CONFIG_CMD_CACHE=y 18# CONFIG_CMD_MISC is not set 19CONFIG_CMD_EXT2=y 20CONFIG_CMD_EXT4=y 21CONFIG_CMD_EXT4_WRITE=y 22CONFIG_CMD_FAT=y 23CONFIG_CMD_FS_GENERIC=y 24CONFIG_USB=y 25CONFIG_DM_USB=y 26