2015-07-20 13:17:11 +00:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_OMAP34XX=y
|
|
|
|
CONFIG_TARGET_SNIPER=y
|
|
|
|
CONFIG_SPL=y
|
2016-09-13 05:18:37 +00:00
|
|
|
# CONFIG_SPL_EXT_SUPPORT is not set
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2016-02-26 12:18:47 +00:00
|
|
|
CONFIG_SYS_PROMPT="sniper # "
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_BOOTZ=y
|
2015-07-20 13:17:11 +00:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_MMC=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_I2C=y
|
2015-07-20 13:17:11 +00:00
|
|
|
# CONFIG_CMD_FPGA is not set
|
2016-02-26 12:18:47 +00:00
|
|
|
CONFIG_CMD_GPIO=y
|
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_DHCP=y
|
2016-02-26 12:18:47 +00:00
|
|
|
# CONFIG_CMD_NFS is not set
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_MII=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_PING=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2015-11-19 13:48:14 +00:00
|
|
|
CONFIG_SYS_NS16550=y
|
2015-07-20 13:17:15 +00:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_MUSB_GADGET=y
|
2016-03-25 14:39:47 +00:00
|
|
|
CONFIG_USB_GADGET=y
|
2016-04-13 11:20:26 +00:00
|
|
|
CONFIG_USB_GADGET_DOWNLOAD=y
|
2016-04-13 11:20:30 +00:00
|
|
|
CONFIG_G_DNL_MANUFACTURER="Texas Instruments"
|
|
|
|
CONFIG_G_DNL_VENDOR_NUM=0x0451
|
|
|
|
CONFIG_G_DNL_PRODUCT_NUM=0xd022
|
2016-02-23 05:55:42 +00:00
|
|
|
CONFIG_OF_LIBFDT=y
|