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