CONFIG_PPC=y

  CONFIG_SYS_TEXT_BASE=0x00201000

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_ENV_SIZE=0x2000
  CONFIG_ENV_OFFSET=0x100000

  CONFIG_SPL_MMC_SUPPORT=y

  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_SPL_DRIVERS_MISC_SUPPORT=y

  CONFIG_SPL=y

  CONFIG_MPC85xx=y
  CONFIG_TARGET_T4240RDB=y

  CONFIG_SPL_TEXT_BASE=0xFFFD8000

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

  CONFIG_SYS_EXTRA_OPTIONS="RAMBOOT_PBL,SDCARD"

  CONFIG_BOOTDELAY=10

  CONFIG_BOARD_EARLY_INIT_R=y

  # CONFIG_SPL_FRAMEWORK is not set

  CONFIG_SPL_MMC_BOOT=y
  CONFIG_SPL_FSL_PBL=y

  CONFIG_SPL_ENV_SUPPORT=y
  CONFIG_SPL_I2C_SUPPORT=y

  CONFIG_SPL_MPC8XXX_INIT_DDR_SUPPORT=y

  CONFIG_HUSH_PARSER=y

  CONFIG_CMD_IMLS=y

  CONFIG_CMD_GREPENV=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_OF_CONTROL=y
  CONFIG_DEFAULT_DEVICE_TREE="t4240rdb"

  CONFIG_ENV_IS_IN_MMC=y

  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_SYS_FLASH_CFI=y

  CONFIG_SPI_FLASH=y

  CONFIG_SF_DEFAULT_MODE=0
  CONFIG_SF_DEFAULT_SPEED=10000000

  CONFIG_SPI_FLASH_SST=y

  CONFIG_PHYLIB=y

  CONFIG_PHY_CORTINA=y

  CONFIG_PHY_GIGE=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_MMC=y

  CONFIG_SYS_NS16550=y

  CONFIG_SPI=y

  CONFIG_FSL_ESPI=y

  CONFIG_USB=y

  CONFIG_USB_STORAGE=y

  CONFIG_DM_USB=y

  CONFIG_DM_I2C=y