3 CONFIG_TARGET_AM3517_EVM=y
5 CONFIG_SYS_EXTRA_OPTIONS="NAND"
7 CONFIG_VERSION_VARIABLE=y
9 # CONFIG_SPL_EXT_SUPPORT is not set
10 # CONFIG_SPL_GPIO_SUPPORT is not set
12 CONFIG_SYS_PROMPT="AM3517_EVM # "
14 # CONFIG_CMD_IMI is not set
15 # CONFIG_CMD_IMLS is not set
17 # CONFIG_CMD_FLASH is not set
21 # CONFIG_CMD_FPGA is not set
23 # CONFIG_CMD_SETEXPR is not set
29 CONFIG_CMD_EXT4_WRITE=y
31 CONFIG_CMD_FS_GENERIC=y
34 CONFIG_USB_MUSB_HOST=y