2015-07-20 15:17:11 +02:00
|
|
|
CONFIG_ARM=y
|
2017-03-18 09:01:44 -04:00
|
|
|
# CONFIG_SYS_THUMB_BUILD is not set
|
2017-04-25 13:10:11 +09:00
|
|
|
CONFIG_ARCH_OMAP2PLUS=y
|
2017-07-28 08:32:52 -05:00
|
|
|
CONFIG_SYS_TEXT_BASE=0x80100000
|
2016-09-19 17:00:58 -04:00
|
|
|
CONFIG_TARGET_SNIPER=y
|
2018-04-07 20:27:54 -04:00
|
|
|
CONFIG_SPL=y
|
2018-02-10 16:54:38 -05:00
|
|
|
CONFIG_DISTRO_DEFAULTS=y
|
|
|
|
# CONFIG_USE_BOOTCOMMAND is not set
|
2016-10-17 20:12:37 -06:00
|
|
|
CONFIG_SYS_CONSOLE_IS_IN_ENV=y
|
2016-12-07 22:10:25 +09:00
|
|
|
# CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR is not set
|
2017-03-13 13:48:42 -04:00
|
|
|
CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION=y
|
|
|
|
CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION=2
|
|
|
|
# CONFIG_SPL_EXT_SUPPORT is not set
|
2018-06-04 11:57:37 -04:00
|
|
|
# CONFIG_SPL_NAND_SUPPORT is not set
|
2016-02-26 13:18:47 +01:00
|
|
|
CONFIG_SYS_PROMPT="sniper # "
|
2015-07-20 15:17:11 +02:00
|
|
|
# CONFIG_CMD_FLASH is not set
|
2016-02-26 13:18:47 +01:00
|
|
|
CONFIG_CMD_GPIO=y
|
2017-08-14 19:58:53 -04:00
|
|
|
CONFIG_CMD_I2C=y
|
|
|
|
CONFIG_CMD_MMC=y
|
2016-02-26 13:18:47 +01:00
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
|
|
|
# CONFIG_CMD_NFS is not set
|
2018-06-04 11:57:37 -04:00
|
|
|
CONFIG_USB_FUNCTION_FASTBOOT=y
|
|
|
|
CONFIG_FASTBOOT_BUF_ADDR=0x82000000
|
|
|
|
CONFIG_FASTBOOT_BUF_SIZE=0x2000000
|
|
|
|
CONFIG_FASTBOOT_FLASH=y
|
|
|
|
CONFIG_FASTBOOT_FLASH_MMC_DEV=0
|
2018-01-24 15:21:21 -06:00
|
|
|
CONFIG_SYS_OMAP24_I2C_SPEED=400000
|
2017-01-10 13:32:07 +09:00
|
|
|
CONFIG_MMC_OMAP_HS=y
|
2018-03-06 19:02:27 -05:00
|
|
|
CONFIG_CONS_INDEX=3
|
2015-11-19 21:48:14 +08:00
|
|
|
CONFIG_SYS_NS16550=y
|
2015-07-20 15:17:15 +02:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_MUSB_GADGET=y
|
2017-12-29 08:16:05 -06:00
|
|
|
CONFIG_USB_MUSB_OMAP2PLUS=y
|
2018-01-02 10:38:36 -06:00
|
|
|
CONFIG_TWL4030_USB=y
|
2016-03-25 16:39:47 +02:00
|
|
|
CONFIG_USB_GADGET=y
|
2017-09-07 08:58:08 +02:00
|
|
|
CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
|
|
|
|
CONFIG_USB_GADGET_VENDOR_NUM=0x0451
|
|
|
|
CONFIG_USB_GADGET_PRODUCT_NUM=0xd022
|
2016-02-22 22:55:42 -07:00
|
|
|
CONFIG_OF_LIBFDT=y
|