CONFIG_PPC=y

  CONFIG_SYS_TEXT_BASE=0xEFF40000

  CONFIG_ENV_SIZE=0x2000
  CONFIG_ENV_SECT_SIZE=0x20000

  CONFIG_MPC85xx=y

  CONFIG_TARGET_T2080RDB=y

  CONFIG_MPC85XX_HAVE_RESET_VECTOR=y

  CONFIG_FIT=y
  CONFIG_FIT_VERBOSE=y
  CONFIG_OF_BOARD_SETUP=y
  CONFIG_OF_STDOUT_VIA_ALIAS=y

  CONFIG_BOOTDELAY=10

  CONFIG_BOARD_EARLY_INIT_R=y

  CONFIG_HUSH_PARSER=y

  CONFIG_CMD_IMLS=y

  CONFIG_CMD_MEMTEST=y

  CONFIG_SYS_ALT_MEMTEST=y

  CONFIG_CMD_I2C=y

  CONFIG_CMD_MMC=y

  CONFIG_CMD_SF=y

  CONFIG_CMD_USB=y
  CONFIG_CMD_DHCP=y

  CONFIG_CMD_MII=y

  CONFIG_CMD_PING=y

  CONFIG_MP=y

  CONFIG_CMD_EXT2=y
  CONFIG_CMD_FAT=y

  CONFIG_CMD_MTDPARTS=y

  CONFIG_MTDIDS_DEFAULT="nor0=fe8000000.nor,nand0=fff800000.flash,spi0=spife110000.1"
  CONFIG_MTDPARTS_DEFAULT="mtdparts=fe8000000.nor:1m(uboot),5m(kernel),128k(dtb),96m(fs),-(user);fff800000.flash:1m(uboot),5m(kernel),128k(dtb),96m(fs),-(user);spife110000.1:1m(uboot),5m(kernel),128k(dtb),-(user)"

  # CONFIG_CMD_IRQ is not set

  CONFIG_OF_CONTROL=y
  CONFIG_DEFAULT_DEVICE_TREE="t2080rdb"

  CONFIG_ENV_IS_IN_FLASH=y

  CONFIG_ENV_ADDR=0xEFF20000

  CONFIG_DM=y

  CONFIG_FSL_CAAM=y

  CONFIG_DM_MMC=y

  CONFIG_FSL_ESDHC=y

  CONFIG_MTD=y

  CONFIG_MTD_NOR_FLASH=y
  CONFIG_FLASH_CFI_DRIVER=y
  CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
  CONFIG_FLASH_CFI_MTD=y
  CONFIG_SYS_FLASH_CFI=y

  CONFIG_SPI_FLASH=y

  CONFIG_SF_DEFAULT_MODE=0
  CONFIG_SF_DEFAULT_SPEED=10000000

  CONFIG_SPI_FLASH_STMICRO=y

  CONFIG_PHYLIB=y

  CONFIG_PHY_AQUANTIA=y

  CONFIG_PHY_CORTINA=y

  CONFIG_E1000=y

  CONFIG_FMAN_ENET=y
  CONFIG_MII=y

  CONFIG_DM_PCI=y
  CONFIG_DM_PCI_COMPAT=y
  CONFIG_PCIE_FSL=y

  CONFIG_SYS_QE_FMAN_FW_IN_NOR=y

  CONFIG_SYS_NS16550=y

  CONFIG_SPI=y

  CONFIG_FSL_ESPI=y

  CONFIG_USB=y

  CONFIG_DM_USB=y