CONFIG_ARM=y
  CONFIG_ARCH_KEYSTONE=y

  CONFIG_SYS_TEXT_BASE=0xC000000

  CONFIG_TI_COMMON_CMD_OPTIONS=y

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_TARGET_K2HK_EVM=y

  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_SPL=y

  CONFIG_SPL_SPI_FLASH_SUPPORT=y

  CONFIG_SPL_SPI_SUPPORT=y

  CONFIG_DISTRO_DEFAULTS=y

  CONFIG_NR_DRAM_BANKS=2

  CONFIG_OF_BOARD_SETUP=y

  # CONFIG_USE_BOOTCOMMAND is not set

  CONFIG_SYS_CONSOLE_INFO_QUIET=y

  CONFIG_VERSION_VARIABLE=y

  CONFIG_BOARD_EARLY_INIT_F=y

  CONFIG_SPL_I2C_SUPPORT=y

  CONFIG_SPL_POWER_SUPPORT=y

  CONFIG_SPL_SPI_LOAD=y

  # CONFIG_CMD_FLASH is not set

  # CONFIG_CMD_GPIO is not set

  # CONFIG_CMD_GPT is not set
  # CONFIG_CMD_MMC is not set

  CONFIG_CMD_NAND=y

  # CONFIG_CMD_SETEXPR is not set

  CONFIG_MTDIDS_DEFAULT="nand0=davinci_nand.0"
  CONFIG_MTDPARTS_DEFAULT="mtdparts=davinci_nand.0:1024k(bootloader)ro,512k(params)ro,-(ubifs)"

  CONFIG_CMD_UBI=y

  CONFIG_OF_CONTROL=y

  CONFIG_DEFAULT_DEVICE_TREE="keystone-k2hk-evm"

  CONFIG_DTB_RESELECT=y
  CONFIG_MULTI_DTB_FIT=y

  CONFIG_ENV_IS_IN_NAND=y

  CONFIG_NET_RANDOM_ETHADDR=y

  CONFIG_DM=y

  CONFIG_SYS_I2C_DAVINCI=y

  CONFIG_TI_AEMIF=y

  CONFIG_MISC=y

  # CONFIG_MMC is not set

  CONFIG_NAND=y
  CONFIG_NAND_DAVINCI=y

  CONFIG_DM_SPI_FLASH=y

  CONFIG_SPI_FLASH=y

  CONFIG_SF_DEFAULT_SPEED=30000000

  CONFIG_SPI_FLASH_STMICRO=y

  CONFIG_PHYLIB=y

  CONFIG_PHY_MARVELL=y

  CONFIG_DM_ETH=y

  CONFIG_MII=y

  CONFIG_DRIVER_TI_KEYSTONE_NET=y

  CONFIG_PHY=y
  CONFIG_NOP_PHY=y
  CONFIG_KEYSTONE_USB_PHY=y

  CONFIG_DM_SERIAL=y

  CONFIG_SYS_NS16550=y

  CONFIG_SPI=y

  CONFIG_DM_SPI=y

  CONFIG_DAVINCI_SPI=y

  CONFIG_USB=y

  CONFIG_DM_USB=y

  CONFIG_USB_XHCI_HCD=y

  CONFIG_USB_XHCI_DWC3=y

  CONFIG_USB_DWC3=y
  CONFIG_USB_DWC3_GENERIC=y