5 # CONFIG_SPL_EXT_SUPPORT is not set
6 # CONFIG_SPL_NAND_SUPPORT is not set
8 CONFIG_SYS_PROMPT="sniper # "
10 # CONFIG_CMD_IMLS is not set
11 # CONFIG_CMD_FLASH is not set
14 # CONFIG_CMD_FPGA is not set
16 # CONFIG_CMD_SETEXPR is not set
18 # CONFIG_CMD_NFS is not set
24 CONFIG_CMD_FS_GENERIC=y
27 CONFIG_USB_MUSB_GADGET=y
29 CONFIG_USB_GADGET_DOWNLOAD=y
30 CONFIG_G_DNL_MANUFACTURER="Texas Instruments"
31 CONFIG_G_DNL_VENDOR_NUM=0x0451
32 CONFIG_G_DNL_PRODUCT_NUM=0xd022