CONFIG_ARM=y

  CONFIG_SYS_THUMB_BUILD=y

  CONFIG_ARCH_DAVINCI=y

  CONFIG_SYS_TEXT_BASE=0xc1080000

  CONFIG_TARGET_OMAPL138_LCDK=y

  CONFIG_SYS_DA850_PLL0_POSTDIV=0

  CONFIG_SYS_DA850_PLL1_PLLDIV3=0x8003

  CONFIG_TI_COMMON_CMD_OPTIONS=y

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_SYS_MALLOC_F_LEN=0x800

  CONFIG_ENV_SIZE=0x10000
  CONFIG_ENV_OFFSET=0x0

  CONFIG_DM_GPIO=y
  CONFIG_SPL_MMC_SUPPORT=y
  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_NR_DRAM_BANKS=1

  CONFIG_SPL=y

  CONFIG_SPL_TEXT_BASE=0x80000000

  CONFIG_BOOTDELAY=3

  CONFIG_LOGLEVEL=3

  CONFIG_MISC_INIT_R=y

  CONFIG_VERSION_VARIABLE=y

  # CONFIG_DISPLAY_CPUINFO is not set

  CONFIG_BOARD_EARLY_INIT_F=y

  CONFIG_SPL_SYS_MALLOC_SIMPLE=y

  CONFIG_SPL_SEPARATE_BSS=y

  CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0xb5

  CONFIG_SPL_NAND_SUPPORT=y

  CONFIG_HUSH_PARSER=y

  CONFIG_CRC32_VERIFY=y

  # CONFIG_CMD_EEPROM is not set

  CONFIG_CMD_MX_CYCLIC=y

  CONFIG_CMD_DM=y

  # CONFIG_CMD_FLASH is not set

  CONFIG_CMD_NAND=y

  # CONFIG_CMD_PINMUX is not set

  # CONFIG_CMD_SETEXPR is not set

  CONFIG_CMD_MTDPARTS=y

  CONFIG_CMD_DIAG=y
  CONFIG_CMD_UBI=y

  CONFIG_OF_CONTROL=y

  CONFIG_SPL_OF_CONTROL=y

  CONFIG_DEFAULT_DEVICE_TREE="da850-lcdk"

  CONFIG_SPL_OF_PLATDATA=y

  CONFIG_ENV_IS_IN_NAND=y

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  CONFIG_NET_RANDOM_ETHADDR=y

  CONFIG_DM=y

  CONFIG_SPL_DM=y

  CONFIG_SPL_DM_SEQ_ALIAS=y
  CONFIG_SPL_OF_TRANSLATE=y

  CONFIG_DA8XX_GPIO=y

  CONFIG_DM_I2C=y

  CONFIG_SYS_I2C_DAVINCI=y

  CONFIG_DM_MMC=y

  CONFIG_MTD=y

  CONFIG_DM_MTD=y

  CONFIG_MTD_RAW_NAND=y

  CONFIG_SYS_NAND_USE_FLASH_BBT=y

  CONFIG_NAND_DAVINCI=y

  CONFIG_SYS_NAND_BUSWIDTH_16BIT=y

  CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
  CONFIG_SYS_NAND_U_BOOT_OFFS=0x28000

  CONFIG_SPL_NAND_SIMPLE=y

  CONFIG_DM_ETH=y

  CONFIG_MII=y
  CONFIG_DRIVER_TI_EMAC=y

  CONFIG_PHY=y
  CONFIG_PHY_DA8XX_USB=y

  CONFIG_PINCTRL=y
  CONFIG_PINCTRL_SINGLE=y

  CONFIG_SPECIFY_CONSOLE_INDEX=y

  CONFIG_DM_SERIAL=y

  CONFIG_SYS_NS16550=y

  CONFIG_USB=y
  CONFIG_DM_USB=y

  # CONFIG_SPL_DM_USB is not set

  CONFIG_USB_OHCI_HCD=y
  CONFIG_USB_OHCI_DA8XX=y
  CONFIG_USB_MUSB_HOST=y
  CONFIG_USB_MUSB_DA8XX=y
  CONFIG_USB_MUSB_PIO_ONLY=y
  CONFIG_USB_STORAGE=y

  # CONFIG_SPL_OF_LIBFDT is not set