CONFIG_PPC=y
  CONFIG_SYS_TEXT_BASE=0xFFF40000
  CONFIG_MPC85xx=y
  CONFIG_TARGET_T2080RDB=y
  CONFIG_FIT=y
  CONFIG_FIT_VERBOSE=y
  CONFIG_OF_BOARD_SETUP=y
  CONFIG_OF_STDOUT_VIA_ALIAS=y
  CONFIG_SYS_EXTRA_OPTIONS="SRIO_PCIE_BOOT_SLAVE"
  CONFIG_BOOTDELAY=10
  CONFIG_HUSH_PARSER=y
  CONFIG_CMD_MEMTEST=y
  # CONFIG_CMD_FLASH is not set
  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_CMD_EXT2=y
  CONFIG_CMD_FAT=y
  # CONFIG_CMD_IRQ is not set
  CONFIG_ENV_IS_IN_REMOTE=y
  CONFIG_FSL_CAAM=y
  CONFIG_SPI_FLASH=y
  CONFIG_SPI_FLASH_STMICRO=y
  CONFIG_PHYLIB=y
  CONFIG_NETDEVICES=y
  CONFIG_PHY_GIGE=y
  CONFIG_E1000=y
  CONFIG_SYS_NS16550=y
  CONFIG_FSL_ESPI=y
  CONFIG_USB=y
  CONFIG_USB_STORAGE=y
  CONFIG_OF_LIBFDT=y