dd84058d |
1 | CONFIG_ARM=y |
93327f69 |
2 | CONFIG_ARCH_S5PC1XX=y |
bd328eb3 |
3 | CONFIG_TARGET_SMDKC100=y |
93327f69 |
4 | CONFIG_DEFAULT_DEVICE_TREE="s5pc1xx-smdkc100" |
ef0f2f57 JH |
5 | # CONFIG_CMD_IMLS is not set |
6 | # CONFIG_CMD_FLASH is not set |
7 | # CONFIG_CMD_SETEXPR is not set |