3 CONFIG_TARGET_ARNDALE=y
5 CONFIG_DEFAULT_DEVICE_TREE="exynos5250-arndale"
8 CONFIG_FIT_BEST_MATCH=y
9 CONFIG_SYS_PROMPT="ARNDALE # "
10 # CONFIG_CMD_IMLS is not set
12 # CONFIG_CMD_SETEXPR is not set
14 CONFIG_DM_I2C_COMPAT=y
18 CONFIG_SOUND_MAX98095=y