| CONFIG_SYS_TEXT_BASE=0x17800000 |
| CONFIG_SPL_GPIO_SUPPORT=y |
| CONFIG_SPL_LIBCOMMON_SUPPORT=y |
| CONFIG_SPL_LIBGENERIC_SUPPORT=y |
| CONFIG_TARGET_PLATINUM_PICON=y |
| CONFIG_ENV_OFFSET=0x1000000 |
| CONFIG_SPL_SERIAL_SUPPORT=y |
| CONFIG_ENV_OFFSET_REDUND=0x1080000 |
| CONFIG_SPL_LIBDISK_SUPPORT=y |
| CONFIG_SPL_TEXT_BASE=0x00908000 |
| CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg,MX6DL" |
| CONFIG_SUPPORT_RAW_INITRD=y |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_SPL_NAND_SUPPORT=y |
| CONFIG_SPL_WATCHDOG_SUPPORT=y |
| CONFIG_SYS_PROMPT="picon > " |
| # CONFIG_CMD_FLASH is not set |
| CONFIG_CMD_NAND_TRIMFFS=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_MTDIDS_DEFAULT="nand0=gpmi-nand" |
| CONFIG_MTDPARTS_DEFAULT="mtdparts=gpmi-nand:14M(spl),2M(uboot),512k(env1),512k(env2),495M(ubi0),14M(res0),2M(res1),512k(res2),512k(res3),-(ubi1)" |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |