2 CONFIG_SPL_I2C_SUPPORT=y
3 CONFIG_SPL_ENV_SUPPORT=y
5 CONFIG_TARGET_T4240RDB=y
8 CONFIG_OF_BOARD_SETUP=y
9 CONFIG_OF_STDOUT_VIA_ALIAS=y
10 CONFIG_SYS_EXTRA_OPTIONS="PPC_T4240,RAMBOOT_PBL,SPL_FSL_PBL,SDCARD"
13 CONFIG_SPL_DRIVERS_MISC_SUPPORT=y
26 CONFIG_SPI_FLASH_SST=y