CONFIG_XTENSA=y
  CONFIG_SYS_CPU="dc233c"

  CONFIG_ENV_SIZE=0x20000
  CONFIG_ENV_SECT_SIZE=0x20000

  CONFIG_XTFPGA_KC705=y

  CONFIG_SHOW_BOOT_PROGRESS=y

  CONFIG_BOOTDELAY=10

  CONFIG_MISC_INIT_R=y

  CONFIG_VERSION_VARIABLE=y

  CONFIG_HUSH_PARSER=y

  CONFIG_SYS_PROMPT="U-Boot> "
  CONFIG_AUTOBOOT_KEYED=y
  CONFIG_AUTOBOOT_PROMPT="Autobooting in %d seconds, press <SPACE> to stop
  "
  CONFIG_AUTOBOOT_STOP_STR=" "

  CONFIG_CMD_IMLS=y

  CONFIG_CMD_ASKENV=y

  CONFIG_CRC32_VERIFY=y

  CONFIG_CMD_MX_CYCLIC=y

  CONFIG_CMD_SAVES=y

  CONFIG_CMD_DHCP=y
  CONFIG_CMD_PING=y

  CONFIG_CMD_DIAG=y

  CONFIG_ENV_IS_IN_FLASH=y

  CONFIG_ENV_ADDR=0xF7FE0000

  CONFIG_DM=y
  # CONFIG_DM_WARN is not set
  # CONFIG_DM_DEVICE_REMOVE is not set
  # CONFIG_DM_STDIO is not set
  # CONFIG_DM_SEQ_ALIAS is not set

  CONFIG_MTD_NOR_FLASH=y

  CONFIG_FLASH_CFI_DRIVER=y
  CONFIG_SYS_FLASH_PROTECTION=y
  CONFIG_SYS_FLASH_CFI=y

  CONFIG_PHYLIB=y

  CONFIG_DM_ETH=y

  CONFIG_ETHOC=y
  CONFIG_SYS_NS16550=y

  CONFIG_SYSRESET=y

  CONFIG_OF_LIBFDT=y