| CONFIG_SYS_TEXT_BASE=0x23f00000 |
| CONFIG_SPL_GPIO_SUPPORT=y |
| CONFIG_SPL_LIBCOMMON_SUPPORT=y |
| CONFIG_SPL_LIBGENERIC_SUPPORT=y |
| CONFIG_ENV_OFFSET=0xA0000 |
| CONFIG_SPL_SERIAL_SUPPORT=y |
| CONFIG_SPL_TEXT_BASE=0x300000 |
| CONFIG_SYS_EXTRA_OPTIONS="AT91SAM9X5,SYS_USE_NANDFLASH" |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_SPL_NAND_SUPPORT=y |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_LOADS is not set |
| CONFIG_CMD_NAND_TRIMFFS=y |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_ENV_OFFSET_REDUND=0xC0000 |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| # CONFIG_SYS_NAND_USE_FLASH_BBT is not set |
| CONFIG_SPL_GENERATE_ATMEL_PMECC_HEADER=y |