CONFIG_ARM=y
  CONFIG_ARCH_OMAP2PLUS=y
  CONFIG_TI_SECURE_DEVICE=y

  CONFIG_ISW_ENTRY_ADDR=0x40306d50

  CONFIG_TI_COMMON_CMD_OPTIONS=y
  CONFIG_SYS_MALLOC_F_LEN=0x2000

  CONFIG_DM_GPIO=y

  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_NR_DRAM_BANKS=2

  CONFIG_SPL=y

  CONFIG_ENV_OFFSET_REDUND=0x280000

  CONFIG_SPL_SPI_FLASH_SUPPORT=y
  CONFIG_SPL_SPI_SUPPORT=y
  CONFIG_ARMV7_LPAE=y

  CONFIG_SPL_TEXT_BASE=0x40306D50

  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=ttyS2,115200 androidboot.console=ttyS2 androidboot.hardware=beagle_x15board"
  # CONFIG_USE_BOOTCOMMAND is not set
  CONFIG_SYS_CONSOLE_INFO_QUIET=y
  # CONFIG_MISC_INIT_R is not set
  CONFIG_VERSION_VARIABLE=y
  CONFIG_BOARD_EARLY_INIT_F=y

  CONFIG_AVB_VERIFY=y
  CONFIG_ANDROID_AB=y

  CONFIG_SPL_SYS_MALLOC_SIMPLE=y
  CONFIG_SPL_SEPARATE_BSS=y

  CONFIG_SPL_DMA=y

  # CONFIG_SPL_NAND_SUPPORT is not set
  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_CMD_ADTIMG=y

  CONFIG_CMD_ABOOTIMG=y

  CONFIG_CMD_BCB=y

  # CONFIG_CMD_FLASH is not set
  # CONFIG_CMD_SETEXPR is not set

  CONFIG_CMD_AB_SELECT=y

  # CONFIG_CMD_PMIC is not set

  CONFIG_CMD_AVB=y

  CONFIG_OF_CONTROL=y
  CONFIG_SPL_OF_CONTROL=y
  CONFIG_DEFAULT_DEVICE_TREE="am57xx-beagle-x15"
  CONFIG_OF_LIST="am57xx-beagle-x15 am57xx-beagle-x15-revb1 am57xx-beagle-x15-revc am572x-idk am571x-idk am574x-idk"
  CONFIG_ENV_IS_IN_MMC=y

  CONFIG_SYS_REDUNDAND_ENVIRONMENT=y

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y
  CONFIG_DM=y
  CONFIG_SPL_DM=y
  CONFIG_SPL_DM_SEQ_ALIAS=y
  CONFIG_SCSI_AHCI=y
  # CONFIG_BLK is not set
  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_DM_MMC=y

  CONFIG_SUPPORT_EMMC_BOOT=y

  CONFIG_MMC_OMAP_HS=y

  CONFIG_MTD=y

  CONFIG_DM_SPI_FLASH=y

  CONFIG_SF_DEFAULT_MODE=0
  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_DM_ETH=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_DM_SERIAL=y
  CONFIG_SPI=y
  CONFIG_DM_SPI=y
  CONFIG_TI_QSPI=y
  CONFIG_USB=y
  CONFIG_DM_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_DWC3=y

  CONFIG_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