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_SYS_MALLOC_F_LEN=0x2000
8CONFIG_TARGET_AM3517_EVM=y
9CONFIG_EMIF4=y
10CONFIG_DEFAULT_DEVICE_TREE="am3517-evm"
11CONFIG_BOOTDELAY=10
12CONFIG_VERSION_VARIABLE=y
13CONFIG_SPL=y
14CONFIG_SPL_SYS_MALLOC_SIMPLE=y
15# CONFIG_SPL_EXT_SUPPORT is not set
16CONFIG_SPL_MTD_SUPPORT=y
17CONFIG_HUSH_PARSER=y
18CONFIG_SYS_PROMPT="AM3517_EVM # "
19# CONFIG_CMD_IMI is not set
20# CONFIG_CMD_IMLS is not set
21# CONFIG_CMD_EEPROM is not set
22# CONFIG_CMD_FLASH is not set
23# CONFIG_CMD_FPGA is not set
24# CONFIG_CMD_GPT is not set
25CONFIG_CMD_NAND=y
26# CONFIG_CMD_SPI is not set
27# CONFIG_CMD_SETEXPR is not set
28# CONFIG_CMD_MII is not set
29CONFIG_CMD_CACHE=y
30# CONFIG_CMD_TIME is not set
31CONFIG_CMD_UBI=y
32CONFIG_SPL_PARTITION_UUIDS=y
33CONFIG_OF_CONTROL=y
34CONFIG_ENV_IS_IN_NAND=y
35CONFIG_MMC_OMAP_HS=y
36CONFIG_NAND=y
37CONFIG_SYS_NS16550=y
38CONFIG_USB=y
39CONFIG_USB_MUSB_HOST=y
40# CONFIG_FAT_WRITE is not set
41CONFIG_BCH=y
42