1CONFIG_ARM=y
2# CONFIG_SYS_THUMB_BUILD is not set
3CONFIG_ARCH_OMAP2PLUS=y
4CONFIG_SYS_TEXT_BASE=0x80100000
5CONFIG_TI_COMMON_CMD_OPTIONS=y
6# CONFIG_SPL_GPIO_SUPPORT is not set
7CONFIG_TARGET_AM3517_EVM=y
8CONFIG_EMIF4=y
9CONFIG_BOOTDELAY=10
10CONFIG_VERSION_VARIABLE=y
11CONFIG_SPL=y
12# CONFIG_SPL_EXT_SUPPORT is not set
13CONFIG_SPL_MTD_SUPPORT=y
14CONFIG_HUSH_PARSER=y
15CONFIG_SYS_PROMPT="AM3517_EVM # "
16# CONFIG_CMD_IMI is not set
17# CONFIG_CMD_IMLS is not set
18# CONFIG_CMD_EEPROM is not set
19# CONFIG_CMD_FLASH is not set
20# CONFIG_CMD_FPGA is not set
21# CONFIG_CMD_GPT is not set
22CONFIG_CMD_NAND=y
23# CONFIG_CMD_SPI is not set
24# CONFIG_CMD_SETEXPR is not set
25# CONFIG_CMD_MII is not set
26CONFIG_CMD_CACHE=y
27# CONFIG_CMD_TIME is not set
28CONFIG_CMD_UBI=y
29CONFIG_SPL_PARTITION_UUIDS=y
30CONFIG_ENV_IS_IN_NAND=y
31CONFIG_MMC_OMAP_HS=y
32CONFIG_NAND=y
33CONFIG_SYS_NS16550=y
34CONFIG_USB=y
35CONFIG_USB_MUSB_HOST=y
36CONFIG_USB_STORAGE=y
37# CONFIG_FAT_WRITE is not set
38CONFIG_BCH=y
39CONFIG_OF_LIBFDT=y
40