| CONFIG_ARM=y |
| CONFIG_ARCH_OMAP2PLUS=y |
| CONFIG_TI_SECURE_DEVICE=y |
| CONFIG_TI_COMMON_CMD_OPTIONS=y |
| CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| CONFIG_OMAP54XX=y |
| CONFIG_TI_SECURE_EMIF_REGION_START=0xbdb00000 |
| CONFIG_TI_SECURE_EMIF_TOTAL_REGION_SIZE=0x02000000 |
| CONFIG_TI_SECURE_EMIF_PROTECTED_REGION_SIZE=0x01c00000 |
| CONFIG_TARGET_DRA7XX_EVM=y |
| # CONFIG_SPL_NAND_SUPPORT is not set |
| CONFIG_SPL_SPI_FLASH_SUPPORT=y |
| CONFIG_SPL_SPI_SUPPORT=y |
| CONFIG_SPL=y |
| CONFIG_ARMV7_LPAE=y |
| CONFIG_DEFAULT_DEVICE_TREE="dra7-evm" |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_FIT_IMAGE_POST_PROCESS=y |
| CONFIG_SPL_LOAD_FIT=y |
| CONFIG_SPL_FIT_IMAGE_POST_PROCESS=y |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="androidboot.serialno=${serial#} console=ttyS0,115200 androidboot.console=ttyS0 androidboot.hardware=jacinto6evmboard" |
| # CONFIG_USE_BOOTCOMMAND is not set |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_SPL_SYS_MALLOC_SIMPLE=y |
| CONFIG_SPL_SEPARATE_BSS=y |
| CONFIG_SPL_DMA_SUPPORT=y |
| CONFIG_SPL_SPI_LOAD=y |
| CONFIG_FASTBOOT=y |
| CONFIG_FASTBOOT_BUF_ADDR=0x82000000 |
| CONFIG_FASTBOOT_BUF_SIZE=0x2F000000 |
| CONFIG_FASTBOOT_FLASH=y |
| CONFIG_FASTBOOT_FLASH_MMC_DEV=1 |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_OF_CONTROL=y |
| CONFIG_SPL_OF_CONTROL=y |
| CONFIG_OF_LIST="dra7-evm dra72-evm dra72-evm-revc dra71-evm dra76-evm" |
| CONFIG_ENV_IS_IN_MMC=y |
| CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y |
| CONFIG_DM=y |
| CONFIG_SPL_DM=y |
| CONFIG_SPL_REGMAP=y |
| CONFIG_SPL_SYSCON=y |
| CONFIG_DWC_AHCI=y |
| CONFIG_DFU_MMC=y |
| CONFIG_DFU_RAM=y |
| CONFIG_DFU_SF=y |
| CONFIG_DM_GPIO=y |
| CONFIG_PCF8575_GPIO=y |
| CONFIG_DM_I2C=y |
| CONFIG_DM_MMC=y |
| CONFIG_MMC_IO_VOLTAGE=y |
| CONFIG_MMC_UHS_SUPPORT=y |
| CONFIG_MMC_HS200_SUPPORT=y |
| CONFIG_MMC_OMAP_HS=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SPI_FLASH=y |
| CONFIG_SPI_FLASH_BAR=y |
| CONFIG_SPI_FLASH_SPANSION=y |
| CONFIG_DM_ETH=y |
| CONFIG_DRIVER_TI_CPSW=y |
| CONFIG_PHY_GIGE=y |
| CONFIG_SPL_PHY=y |
| CONFIG_PMIC_PALMAS=y |
| CONFIG_PMIC_LP873X=y |
| CONFIG_DM_REGULATOR_FIXED=y |
| CONFIG_DM_REGULATOR_GPIO=y |
| CONFIG_DM_REGULATOR_PALMAS=y |
| CONFIG_DM_REGULATOR_LP873X=y |
| CONFIG_DM_SCSI=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_DM_SPI=y |
| CONFIG_TI_QSPI=y |
| CONFIG_TIMER=y |
| CONFIG_OMAP_TIMER=y |
| CONFIG_USB=y |
| CONFIG_DM_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_DWC3=y |
| CONFIG_USB_XHCI_DRA7XX_INDEX=1 |
| CONFIG_USB_DWC3=y |
| CONFIG_USB_DWC3_GADGET=y |
| CONFIG_USB_DWC3_OMAP=y |
| CONFIG_USB_DWC3_PHY_OMAP=y |
| CONFIG_OMAP_USB_PHY=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_USB_GADGET=y |
| CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x0451 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0xd022 |