1CONFIG_ARM=y
2CONFIG_ARCH_OMAP2PLUS=y
3CONFIG_TI_SECURE_DEVICE=y
4CONFIG_TI_COMMON_CMD_OPTIONS=y
5CONFIG_SYS_MALLOC_F_LEN=0x18000
6CONFIG_NR_DRAM_BANKS=2
7CONFIG_SYS_SPI_U_BOOT_OFFS=0x40000
8CONFIG_DM_GPIO=y
9CONFIG_SPL_DM_SPI=y
10CONFIG_OMAP54XX=y
11CONFIG_TI_SECURE_EMIF_REGION_START=0xbdb00000
12CONFIG_TI_SECURE_EMIF_TOTAL_REGION_SIZE=0x02000000
13CONFIG_TI_SECURE_EMIF_PROTECTED_REGION_SIZE=0x01c00000
14CONFIG_TARGET_DRA7XX_EVM=y
15CONFIG_SPL=y
16CONFIG_ENV_OFFSET_REDUND=0x280000
17CONFIG_SPL_SPI_FLASH_SUPPORT=y
18CONFIG_SPL_SPI_SUPPORT=y
19CONFIG_ARMV7_LPAE=y
20CONFIG_DEFAULT_DEVICE_TREE="dra7-evm"
21CONFIG_AHCI=y
22CONFIG_DISTRO_DEFAULTS=y
23CONFIG_FIT_IMAGE_POST_PROCESS=y
24CONFIG_SPL_LOAD_FIT=y
25CONFIG_SPL_LOAD_FIT_ADDRESS=0x80200000
26CONFIG_SPL_FIT_IMAGE_POST_PROCESS=y
27# CONFIG_USE_SPL_FIT_GENERATOR is not set
28CONFIG_OF_BOARD_SETUP=y
29CONFIG_USE_BOOTARGS=y
30CONFIG_BOOTARGS="androidboot.serialno=${serial#} console=ttyS0,115200 androidboot.console=ttyS0 androidboot.hardware=jacinto6evmboard"
31# CONFIG_USE_BOOTCOMMAND is not set
32CONFIG_SYS_CONSOLE_INFO_QUIET=y
33CONFIG_BOARD_EARLY_INIT_F=y
34# CONFIG_MISC_INIT_R is not set
35CONFIG_SPL_SYS_MALLOC_SIMPLE=y
36CONFIG_SPL_SEPARATE_BSS=y
37CONFIG_SPL_DMA=y
38# CONFIG_SPL_NAND_SUPPORT is not set
39CONFIG_SPL_NAND_DRIVERS=y
40CONFIG_SPL_NAND_ECC=y
41CONFIG_SPL_NAND_BASE=y
42CONFIG_SPL_DM_SPI_FLASH=y
43CONFIG_SPL_RAM_SUPPORT=y
44CONFIG_SPL_SPI_LOAD=y
45CONFIG_SPL_USB_GADGET=y
46CONFIG_SPL_DFU=y
47# CONFIG_CMD_FLASH is not set
48CONFIG_CMD_NAND=y
49CONFIG_BOOTP_DNS2=y
50CONFIG_CMD_MTDPARTS=y
51CONFIG_MTDIDS_DEFAULT="nand0=nand.0"
52CONFIG_MTDPARTS_DEFAULT="mtdparts=nand.0:256k(NAND.SPL),256k(NAND.SPL.backup1),256k(NAND.SPL.backup2),256k(NAND.SPL.backup3),256k(NAND.u-boot-spl-os),2m(NAND.u-boot),128k(NAND.u-boot-env),128k(NAND.u-boot-env.backup1),8m(NAND.kernel),-(NAND.file-system)"
53CONFIG_OF_CONTROL=y
54CONFIG_SPL_OF_CONTROL=y
55CONFIG_OF_LIST="dra7-evm dra72-evm dra72-evm-revc dra71-evm dra76-evm"
56CONFIG_SPL_MULTI_DTB_FIT=y
57CONFIG_SPL_MULTI_DTB_FIT_UNCOMPRESS_SZ=0xA000
58CONFIG_OF_SPL_REMOVE_PROPS="clocks clock-names interrupt-parent"
59CONFIG_ENV_OVERWRITE=y
60# CONFIG_ENV_IS_IN_FAT is not set
61CONFIG_ENV_IS_IN_MMC=y
62CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
63CONFIG_SYS_RELOC_GD_ENV_ADDR=y
64CONFIG_SYS_MMC_ENV_DEV=1
65CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y
66CONFIG_VERSION_VARIABLE=y
67CONFIG_BOOTP_SEND_HOSTNAME=y
68CONFIG_DM=y
69CONFIG_SPL_DM=y
70CONFIG_SPL_DM_DEVICE_REMOVE=y
71CONFIG_SPL_DM_SEQ_ALIAS=y
72CONFIG_SPL_REGMAP=y
73CONFIG_SPL_SYSCON=y
74CONFIG_SPL_OF_TRANSLATE=y
75CONFIG_DWC_AHCI=y
76CONFIG_DFU_MMC=y
77CONFIG_DFU_RAM=y
78CONFIG_DFU_SF=y
79CONFIG_USB_FUNCTION_FASTBOOT=y
80CONFIG_FASTBOOT_BUF_ADDR=0x82000000
81CONFIG_FASTBOOT_BUF_SIZE=0x2F000000
82CONFIG_FASTBOOT_FLASH=y
83CONFIG_FASTBOOT_FLASH_MMC_DEV=1
84CONFIG_FASTBOOT_CMD_OEM_FORMAT=y
85CONFIG_PCF8575_GPIO=y
86CONFIG_DM_I2C=y
87CONFIG_MISC=y
88CONFIG_DM_MMC=y
89CONFIG_SUPPORT_EMMC_BOOT=y
90CONFIG_MMC_IO_VOLTAGE=y
91CONFIG_MMC_UHS_SUPPORT=y
92CONFIG_MMC_HS200_SUPPORT=y
93CONFIG_SPL_MMC_HS200_SUPPORT=y
94CONFIG_MMC_OMAP_HS=y
95CONFIG_MTD=y
96CONFIG_MTD_RAW_NAND=y
97CONFIG_SYS_NAND_BUSWIDTH_16BIT=y
98CONFIG_DM_SPI_FLASH=y
99CONFIG_SF_DEFAULT_MODE=0
100CONFIG_SF_DEFAULT_SPEED=76800000
101CONFIG_SPI_FLASH_SPANSION=y
102CONFIG_PHY_TI_DP83867=y
103CONFIG_DM_ETH=y
104CONFIG_PHY_GIGE=y
105CONFIG_MII=y
106CONFIG_DRIVER_TI_CPSW=y
107CONFIG_SPL_PHY=y
108CONFIG_PIPE3_PHY=y
109CONFIG_SPL_PIPE3_PHY=y
110CONFIG_OMAP_USB2_PHY=y
111CONFIG_PMIC_PALMAS=y
112CONFIG_PMIC_LP873X=y
113CONFIG_DM_REGULATOR_FIXED=y
114CONFIG_DM_REGULATOR_GPIO=y
115CONFIG_DM_REGULATOR_PALMAS=y
116CONFIG_DM_REGULATOR_LP873X=y
117CONFIG_DM_SCSI=y
118CONFIG_DM_SERIAL=y
119CONFIG_SPI=y
120CONFIG_DM_SPI=y
121CONFIG_TI_QSPI=y
122CONFIG_TIMER=y
123CONFIG_OMAP_TIMER=y
124CONFIG_USB=y
125CONFIG_DM_USB=y
126CONFIG_DM_USB_GADGET=y
127CONFIG_SPL_DM_USB_GADGET=y
128CONFIG_USB_XHCI_HCD=y
129CONFIG_USB_XHCI_DWC3=y
130CONFIG_USB_DWC3=y
131CONFIG_USB_DWC3_OMAP=y
132CONFIG_USB_DWC3_GENERIC=y
133CONFIG_USB_DWC3_PHY_OMAP=y
134CONFIG_USB_GADGET=y
135CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
136CONFIG_USB_GADGET_VENDOR_NUM=0x0451
137CONFIG_USB_GADGET_PRODUCT_NUM=0xd022
138