1CONFIG_ARM=y
2CONFIG_OMAP34XX=y
3CONFIG_TARGET_CM_T3517=y
4CONFIG_SYS_PROMPT="CM-T3517 # "
5# CONFIG_CMD_IMLS is not set
6# CONFIG_CMD_FLASH is not set
7# CONFIG_CMD_FPGA is not set
8CONFIG_CMD_GPIO=y
9# CONFIG_CMD_SETEXPR is not set
10CONFIG_SYS_NS16550=y
11