1CONFIG_ARM=y
2# CONFIG_SYS_THUMB_BUILD is not set
3CONFIG_ARCH_OMAP2PLUS=y
4# CONFIG_SPL_GPIO_SUPPORT is not set
5CONFIG_TARGET_AM3517_EVM=y
6CONFIG_SYS_EXTRA_OPTIONS="NAND"
7CONFIG_ENV_IS_IN_NAND=y
8CONFIG_BOOTDELAY=10
9CONFIG_VERSION_VARIABLE=y
10CONFIG_SPL=y
11# CONFIG_SPL_EXT_SUPPORT is not set
12CONFIG_SPL_MTD_SUPPORT=y
13CONFIG_HUSH_PARSER=y
14CONFIG_SYS_PROMPT="AM3517_EVM # "
15CONFIG_CMD_BOOTZ=y
16# CONFIG_CMD_IMI is not set
17# CONFIG_CMD_IMLS is not set
18CONFIG_CMD_ASKENV=y
19# CONFIG_CMD_FLASH is not set
20CONFIG_CMD_MMC=y
21CONFIG_CMD_PART=y
22CONFIG_CMD_I2C=y
23CONFIG_CMD_USB=y
24# CONFIG_CMD_FPGA is not set
25CONFIG_CMD_GPIO=y
26# CONFIG_CMD_SETEXPR is not set
27CONFIG_CMD_DHCP=y
28CONFIG_CMD_PING=y
29CONFIG_CMD_CACHE=y
30CONFIG_CMD_EXT2=y
31CONFIG_CMD_EXT4=y
32CONFIG_CMD_EXT4_WRITE=y
33CONFIG_CMD_FAT=y
34CONFIG_CMD_FS_GENERIC=y
35CONFIG_CMD_UBI=y
36CONFIG_SPL_PARTITION_UUIDS=y
37CONFIG_MMC_OMAP_HS=y
38CONFIG_SYS_NS16550=y
39CONFIG_USB=y
40CONFIG_USB_MUSB_HOST=y
41CONFIG_USB_STORAGE=y
42CONFIG_OF_LIBFDT=y
43