xref: /rk3399_rockchip-uboot/configs/T4240RDB_SDCARD_defconfig (revision c9bb942e2f91d9f8e5f25ed1961eba2d64f65b8d) 
1373762c3SChunhe LanCONFIG_PPC=y
2373762c3SChunhe LanCONFIG_MPC85xx=y
3373762c3SChunhe LanCONFIG_TARGET_T4240RDB=y
4bd328eb3SJoe HershbergerCONFIG_SPL=y
5bd328eb3SJoe HershbergerCONFIG_SYS_EXTRA_OPTIONS="PPC_T4240,RAMBOOT_PBL,SPL_FSL_PBL,SDCARD"
67453cb59SJoe HershbergerCONFIG_CMD_SETEXPR=y
76eed3786SJoe HershbergerCONFIG_CMD_NET=y
8*c9bb942eSJoe HershbergerCONFIG_SPI_FLASH=y
9