blob: 67b81c678a30372521681101b59711eb959e350f [file] [log] [blame]
Masahiro Yamada252ed872015-03-12 13:24:39 +09001CONFIG_ARM=y
Masahiro Yamadaa93fbf4a2017-04-25 13:10:11 +09002CONFIG_ARCH_OMAP2PLUS=y
Simon Glass53b5bf32016-09-12 23:18:39 -06003CONFIG_SPL_GPIO_SUPPORT=y
Simon Glass77d2f7f2016-09-12 23:18:41 -06004CONFIG_SPL_LIBCOMMON_SUPPORT=y
Simon Glasscc4288e2016-09-12 23:18:43 -06005CONFIG_SPL_LIBGENERIC_SUPPORT=y
Masahiro Yamadaa93fbf4a2017-04-25 13:10:11 +09006CONFIG_AM33XX=y
Heiko Schocherc20ae2f2016-10-06 07:55:15 +02007CONFIG_TARGET_BAV335X=y
Tom Rini8728c972017-03-13 13:48:42 -04008CONFIG_SPL_MMC_SUPPORT=y
9CONFIG_SPL_SERIAL_SUPPORT=y
Tom Rinic9542ea2018-04-07 20:27:54 -040010CONFIG_SPL=y
Tom Rini8728c972017-03-13 13:48:42 -040011CONFIG_SPL_FAT_SUPPORT=y
Tom Rini358b6a22018-06-04 11:57:37 -040012CONFIG_SPL_LIBDISK_SUPPORT=y
Masahiro Yamada252ed872015-03-12 13:24:39 +090013CONFIG_BAV_VERSION=1
Tom Rinifa2c1462018-02-10 16:54:38 -050014CONFIG_DISTRO_DEFAULTS=y
Gilles Gameirob81bdf62015-03-23 23:13:03 -070015CONFIG_SYS_EXTRA_OPTIONS="SERIAL1,CONS_INDEX=1"
Tom Rinifa2c1462018-02-10 16:54:38 -050016# CONFIG_USE_BOOTCOMMAND is not set
Simon Glassf3f3eff2016-10-17 20:13:00 -060017CONFIG_SYS_CONSOLE_INFO_QUIET=y
Heiko Schocher9dd1d0a2016-09-09 08:12:49 +020018CONFIG_VERSION_VARIABLE=y
Simon Glass45856012017-01-23 13:31:21 -070019CONFIG_ARCH_MISC_INIT=y
Tom Rini8728c972017-03-13 13:48:42 -040020CONFIG_SPL_EXT_SUPPORT=y
21CONFIG_SPL_I2C_SUPPORT=y
Simon Glass2fa08502016-09-12 23:18:47 -060022CONFIG_SPL_MUSB_NEW_SUPPORT=y
Tom Rini358b6a22018-06-04 11:57:37 -040023# CONFIG_SPL_NAND_SUPPORT is not set
Heiko Schocherc20ae2f2016-10-06 07:55:15 +020024CONFIG_SPL_OS_BOOT=y
Tom Rinifb82fe32017-06-19 09:47:40 -040025CONFIG_SPL_POWER_SUPPORT=y
Tom Rini358b6a22018-06-04 11:57:37 -040026CONFIG_SPL_WATCHDOG_SUPPORT=y
Tom Rini8728c972017-03-13 13:48:42 -040027CONFIG_SPL_YMODEM_SUPPORT=y
Simon Glass72c30332017-08-04 16:34:48 -060028CONFIG_CMD_SPL=y
Tom Rini89cb2b52016-04-24 17:29:26 -040029CONFIG_CMD_ASKENV=y
Simon Glassa1dc9802017-05-17 03:25:10 -060030CONFIG_CMD_EEPROM=y
Tom Rini88663122017-08-14 19:58:53 -040031CONFIG_CMD_DFU=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050032# CONFIG_CMD_FLASH is not set
Tom Rini88663122017-08-14 19:58:53 -040033CONFIG_CMD_GPIO=y
Patrick Delaunayb331cd62017-01-27 11:00:42 +010034CONFIG_CMD_GPT=y
Tom Rini88663122017-08-14 19:58:53 -040035CONFIG_CMD_I2C=y
Tom Rini89cb2b52016-04-24 17:29:26 -040036CONFIG_CMD_MMC=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040037CONFIG_CMD_SF=y
38CONFIG_CMD_SPI=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040039CONFIG_CMD_USB=y
Tom Rini89cb2b52016-04-24 17:29:26 -040040CONFIG_CMD_USB_MASS_STORAGE=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -050041# CONFIG_CMD_SETEXPR is not set
Tom Rini89cb2b52016-04-24 17:29:26 -040042CONFIG_CMD_EXT4_WRITE=y
Alex Kiernand9101302018-04-01 16:37:53 +000043CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y
Lukasz Majewskid1ec9462018-02-09 23:50:57 +010044CONFIG_BOOTCOUNT_LIMIT=y
Tom Rini6828e602016-09-19 13:31:30 -040045CONFIG_DFU_MMC=y
46CONFIG_DFU_RAM=y
Tom Rini358b6a22018-06-04 11:57:37 -040047CONFIG_USB_FUNCTION_FASTBOOT=y
48CONFIG_FASTBOOT_BUF_ADDR=0x82000000
Masahiro Yamada1d2c0502017-01-10 13:32:07 +090049CONFIG_MMC_OMAP_HS=y
Joe Hershbergerc9bb9422015-06-22 16:15:29 -050050CONFIG_SPI_FLASH=y
Bin Meng68d53422015-11-25 05:34:54 -080051CONFIG_SPI_FLASH_WINBOND=y
Alex Kiernanf02b8d12018-04-01 09:22:34 +000052CONFIG_DRIVER_TI_CPSW=y
Thomas Chou9e390032015-11-19 21:48:14 +080053CONFIG_SYS_NS16550=y
Adam Fordf1b1f772018-04-15 13:51:26 -040054CONFIG_SPI=y
Adam Fordebb3e432017-07-26 22:25:30 -050055CONFIG_OMAP3_SPI=y
Sam Protsenkof9d0fd82016-03-25 16:39:47 +020056CONFIG_USB=y
Tom Rini4d7100a2016-04-22 14:01:08 -040057CONFIG_USB_MUSB_HOST=y
Sam Protsenko3457bba2016-04-13 14:20:25 +030058CONFIG_USB_MUSB_GADGET=y
Adam Ford86362222017-12-29 08:16:05 -060059CONFIG_USB_MUSB_DSPS=y
Tom Rini645176d2016-09-08 16:31:26 -040060CONFIG_USB_STORAGE=y
Sam Protsenkof9d0fd82016-03-25 16:39:47 +020061CONFIG_USB_GADGET=y
Maxime Riparda95aee62017-09-07 08:58:08 +020062CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
63CONFIG_USB_GADGET_VENDOR_NUM=0x0451
64CONFIG_USB_GADGET_PRODUCT_NUM=0xd022
Tom Rini91d27a12017-06-02 11:03:50 -040065CONFIG_FAT_WRITE=y
Tom Rinid56b4b12017-07-22 18:36:16 -040066CONFIG_LZO=y
Simon Glass69e173e2016-02-22 22:55:42 -070067CONFIG_OF_LIBFDT=y