4 CONFIG_IDENT_STRING=" for SMDKC210/V310"
5 CONFIG_DEFAULT_DEVICE_TREE="exynos4210-smdkv310"
8 CONFIG_SYS_PROMPT="SMDKV310 # "
10 # CONFIG_CMD_IMLS is not set
11 # CONFIG_CMD_XIMG is not set
15 # CONFIG_CMD_FPGA is not set
17 # CONFIG_CMD_NFS is not set
21 # CONFIG_CMD_MISC is not set
24 CONFIG_CMD_EXT4_WRITE=y
26 CONFIG_CMD_FS_GENERIC=y
27 CONFIG_ISO_PARTITION=y
30 CONFIG_MMC_SDHCI_SDMA=y
31 CONFIG_MMC_SDHCI_S5P=y