3 CONFIG_TARGET_SMDKC100=y
4 CONFIG_IDENT_STRING=" for SMDKC100"
5 CONFIG_DEFAULT_DEVICE_TREE="s5pc1xx-smdkc100"
8 CONFIG_SYS_PROMPT="SMDKC100 # "
9 # CONFIG_CMD_IMLS is not set
10 # CONFIG_CMD_FLASH is not set
11 # CONFIG_CMD_SETEXPR is not set
14 # CONFIG_MMC is not set