| CONFIG_ARM=y |
| CONFIG_ARCH_OMAP2PLUS=y |
| CONFIG_TI_SECURE_DEVICE=y |
| CONFIG_TI_COMMON_CMD_OPTIONS=y |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_DM_GPIO=y |
| CONFIG_SPL_DM_SPI=y |
| CONFIG_DEFAULT_DEVICE_TREE="am57xx-beagle-x15" |
| CONFIG_SPL_TEXT_BASE=0x40306D50 |
| 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_AM57XX_EVM=y |
| CONFIG_SPL=y |
| CONFIG_ENV_OFFSET_REDUND=0x280000 |
| CONFIG_SPL_SPI_FLASH_SUPPORT=y |
| CONFIG_SPL_SPI=y |
| CONFIG_ARMV7_LPAE=y |
| CONFIG_AHCI=y |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x4037ff00 |
| CONFIG_SPL_LOAD_FIT=y |
| CONFIG_SPL_LOAD_FIT_ADDRESS=0x80200000 |
| # CONFIG_USE_SPL_FIT_GENERATOR is not set |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="androidboot.serialno=${serial#} console=ttyS2,115200 androidboot.console=ttyS2 androidboot.hardware=beagle_x15board" |
| CONFIG_BOOTCOMMAND="if test ${dofastboot} -eq 1; then echo Boot fastboot requested, resetting dofastboot ...;setenv dofastboot 0; saveenv;echo Booting into fastboot ...; fastboot 1;fi;if test ${boot_fit} -eq 1; then run update_to_fit;fi;run findfdt; run finduuid; run distro_bootcmd;run emmc_android_boot; " |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_BOARD_EARLY_INIT_F=y |
| # CONFIG_MISC_INIT_R is not set |
| CONFIG_AVB_VERIFY=y |
| CONFIG_ANDROID_AB=y |
| CONFIG_SPL_MAX_SIZE=0x74eb0 |
| CONFIG_SPL_SYS_MALLOC_SIMPLE=y |
| CONFIG_SYS_SPL_MALLOC=y |
| CONFIG_SYS_SPL_MALLOC_SIZE=0x800000 |
| CONFIG_SPL_DMA=y |
| CONFIG_SPL_FS_LOAD_PAYLOAD_NAME="u-boot.img" |
| # CONFIG_SPL_NAND_SUPPORT is not set |
| CONFIG_SPL_DM_SPI_FLASH=y |
| CONFIG_SPL_RAM_SUPPORT=y |
| CONFIG_SPL_SPI_LOAD=y |
| CONFIG_SYS_SPI_U_BOOT_OFFS=0x40000 |
| CONFIG_SPL_USB_GADGET=y |
| CONFIG_SPL_DFU=y |
| CONFIG_SPL_YMODEM_SUPPORT=y |
| CONFIG_SYS_MAXARGS=64 |
| CONFIG_SYS_BOOTM_LEN=0x4000000 |
| CONFIG_CMD_ADTIMG=y |
| CONFIG_CMD_ABOOTIMG=y |
| CONFIG_SYS_I2C_EEPROM_ADDR_LEN=2 |
| CONFIG_CMD_BCB=y |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_CMD_AB_SELECT=y |
| CONFIG_BOOTP_DNS2=y |
| # CONFIG_CMD_PMIC is not set |
| CONFIG_CMD_AVB=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_SPL_OF_CONTROL=y |
| CONFIG_OF_LIST="am57xx-beagle-x15 am57xx-beagle-x15-revb1 am57xx-beagle-x15-revc am572x-idk am571x-idk am574x-idk" |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_MMC=y |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_SYS_MMC_ENV_DEV=1 |
| CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_NET_RETRY_COUNT=10 |
| CONFIG_BOOTP_SEND_HOSTNAME=y |
| CONFIG_SPL_DM=y |
| CONFIG_SPL_DM_SEQ_ALIAS=y |
| CONFIG_SCSI_AHCI=y |
| CONFIG_DFU_MMC=y |
| CONFIG_DFU_RAM=y |
| CONFIG_USB_FUNCTION_FASTBOOT=y |
| CONFIG_FASTBOOT_BUF_ADDR=0x82000000 |
| CONFIG_FASTBOOT_BUF_SIZE=0x2F000000 |
| CONFIG_FASTBOOT_USB_DEV=1 |
| CONFIG_FASTBOOT_FLASH=y |
| CONFIG_FASTBOOT_FLASH_MMC_DEV=1 |
| CONFIG_FASTBOOT_CMD_OEM_FORMAT=y |
| CONFIG_DM_I2C=y |
| CONFIG_MISC=y |
| CONFIG_SYS_I2C_EEPROM_ADDR=0x50 |
| CONFIG_SUPPORT_EMMC_BOOT=y |
| CONFIG_MMC_OMAP_HS=y |
| CONFIG_MTD=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SF_DEFAULT_SPEED=76800000 |
| CONFIG_SPI_FLASH_BAR=y |
| CONFIG_SPI_FLASH_SPANSION=y |
| CONFIG_PHY_MICREL=y |
| CONFIG_PHY_MICREL_KSZ90X1=y |
| CONFIG_MII=y |
| CONFIG_DRIVER_TI_CPSW=y |
| CONFIG_PHY=y |
| CONFIG_PIPE3_PHY=y |
| CONFIG_OMAP_USB2_PHY=y |
| CONFIG_DM_PMIC=y |
| CONFIG_PMIC_PALMAS=y |
| CONFIG_DM_REGULATOR=y |
| CONFIG_DM_REGULATOR_PALMAS=y |
| CONFIG_PALMAS_POWER=y |
| CONFIG_SCSI_AHCI_PLAT=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_SPI=y |
| CONFIG_DM_SPI=y |
| CONFIG_TI_QSPI=y |
| CONFIG_USB=y |
| CONFIG_DM_USB_GADGET=y |
| CONFIG_SPL_DM_USB_GADGET=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_DWC3=y |
| CONFIG_USB_XHCI_OMAP=y |
| CONFIG_USB_DWC3=y |
| CONFIG_USB_DWC3_GENERIC=y |
| CONFIG_SPL_USB_DWC3_GENERIC=y |
| CONFIG_USB_GADGET=y |
| CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x0451 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0xd022 |
| CONFIG_LIBAVB=y |