| CONFIG_SYS_TEXT_BASE=0x40002000 |
| CONFIG_SPL_GPIO_SUPPORT=y |
| CONFIG_SPL_LIBCOMMON_SUPPORT=y |
| CONFIG_SPL_LIBGENERIC_SUPPORT=y |
| CONFIG_TARGET_APX4DEVKIT=y |
| CONFIG_SPL_SERIAL_SUPPORT=y |
| CONFIG_ENV_OFFSET=0x120000 |
| CONFIG_SPL_TEXT_BASE=0x00001000 |
| CONFIG_VERSION_VARIABLE=y |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_BOARD_EARLY_INIT_F=y |
| # CONFIG_SPL_FRAMEWORK is not set |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_MTDIDS_DEFAULT="nand0=gpmi-nand" |
| CONFIG_MTDPARTS_DEFAULT="mtdparts=gpmi-nand:128k(bootstrap),1024k(boot),768k(env),-(root)" |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_ENV_OFFSET_REDUND=0x180000 |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |