CONFIG_ARM=y

  # CONFIG_SPL_USE_ARCH_MEMCPY is not set

  # CONFIG_SPL_USE_ARCH_MEMSET is not set

  CONFIG_ARCH_OMAP2PLUS=y

  CONFIG_SYS_TEXT_BASE=0x80100000

  CONFIG_TI_COMMON_CMD_OPTIONS=y

  CONFIG_SYS_MALLOC_F_LEN=0x4000

  CONFIG_TARGET_AM3517_EVM=y

  CONFIG_EMIF4=y

  CONFIG_SPL_SYS_MALLOC_F_LEN=0x3000

  CONFIG_NR_DRAM_BANKS=2

  CONFIG_SPL=y

  CONFIG_SPL_TEXT_BASE=0x40200000

  CONFIG_DISTRO_DEFAULTS=y

  CONFIG_BOOTDELAY=10

  # CONFIG_USE_BOOTCOMMAND is not set

  CONFIG_VERSION_VARIABLE=y

  CONFIG_SPL_SYS_MALLOC_SIMPLE=y

  CONFIG_SPL_SEPARATE_BSS=y
  # CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR is not set

  # CONFIG_SPL_FS_EXT4 is not set

  # CONFIG_SPL_I2C_SUPPORT is not set

  CONFIG_SPL_MTD_SUPPORT=y

  CONFIG_SPL_OS_BOOT=y

  # CONFIG_SPL_POWER_SUPPORT is not set

  CONFIG_SYS_PROMPT="AM3517_EVM # "

  # CONFIG_CMD_IMI is not set

  CONFIG_CMD_SPL=y
  CONFIG_CMD_SPL_NAND_OFS=0xaa0000
  CONFIG_CMD_SPL_WRITE_SIZE=0x20000

  # CONFIG_CMD_FLASH is not set

  # CONFIG_CMD_GPT is not set

  CONFIG_CMD_NAND=y

  # CONFIG_CMD_SPI is not set

  # CONFIG_CMD_SETEXPR is not set

  CONFIG_CMD_CACHE=y

  # CONFIG_CMD_TIME is not set

  CONFIG_CMD_MTDPARTS=y

  CONFIG_MTDIDS_DEFAULT="nand0=omap2-nand.0"
  CONFIG_MTDPARTS_DEFAULT="mtdparts=omap2-nand.0:512k(MLO),1920k(u-boot),256k(u-boot-env),8m(kernel),512k(dtb),-(rootfs)"

  CONFIG_CMD_UBI=y

  CONFIG_OF_CONTROL=y

  CONFIG_SPL_OF_CONTROL=y

  CONFIG_DEFAULT_DEVICE_TREE="am3517-evm"

  # CONFIG_ENV_IS_IN_FAT is not set

  CONFIG_ENV_IS_IN_NAND=y

  CONFIG_SPL_DM=y
  CONFIG_SPL_DM_SEQ_ALIAS=y
  CONFIG_SPL_OF_TRANSLATE=y

  CONFIG_DM_PCA953X=y

  CONFIG_MMC_OMAP_HS=y

  CONFIG_MTD=y

  CONFIG_MTD_RAW_NAND=y

  CONFIG_SYS_NAND_BUSWIDTH_16BIT=y

  CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
  CONFIG_SYS_NAND_U_BOOT_OFFS=0x80000

  CONFIG_SPL_NAND_SIMPLE=y

  CONFIG_DM_ETH=y

  CONFIG_MII=y
  CONFIG_DRIVER_TI_EMAC=y

  CONFIG_PINCTRL=y
  CONFIG_PINCTRL_SINGLE=y

  CONFIG_DM_PMIC=y
  # CONFIG_SPL_PMIC_CHILDREN is not set
  CONFIG_DM_REGULATOR=y
  CONFIG_DM_REGULATOR_FIXED=y
  CONFIG_DM_REGULATOR_GPIO=y

  # CONFIG_TWL4030_POWER is not set

  CONFIG_SPI=y

  CONFIG_DM_SPI=y
  CONFIG_OMAP3_SPI=y

  CONFIG_USB=y

  CONFIG_DM_USB=y
  CONFIG_USB_EHCI_HCD=y

  CONFIG_USB_MUSB_HOST=y

  CONFIG_USB_MUSB_AM35X=y

  CONFIG_BCH=y

  CONFIG_SPL_TINY_MEMSET=y