| CONFIG_ARM=y |
| CONFIG_SYS_L2CACHE_OFF=y |
| CONFIG_TARGET_VEXPRESS_CA9X4=y |
| CONFIG_TEXT_BASE=0x60800000 |
| CONFIG_SYS_MALLOC_F_LEN=0x800 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x60000f10 |
| CONFIG_ENV_SIZE=0x40000 |
| CONFIG_ENV_SECT_SIZE=0x40000 |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="vexpress-v2p-ca9" |
| CONFIG_SYS_LOAD_ADDR=0x90000000 |
| CONFIG_ENV_ADDR=0x47F80000 |
| CONFIG_SYS_MONITOR_BASE=0x40000000 |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_BOOTCOMMAND="run distro_bootcmd; run bootflash" |
| CONFIG_DEFAULT_FDT_FILE="vexpress-v2p-ca9.dtb" |
| CONFIG_SYS_CBSIZE=512 |
| CONFIG_SYS_PBSIZE=532 |
| # CONFIG_DISPLAY_CPUINFO is not set |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| # CONFIG_CMD_CONSOLE is not set |
| # CONFIG_CMD_BOOTD is not set |
| # CONFIG_CMD_XIMG is not set |
| # CONFIG_CMD_EDITENV is not set |
| # CONFIG_CMD_LOADB is not set |
| # CONFIG_CMD_LOADS is not set |
| CONFIG_CMD_MMC=y |
| # CONFIG_CMD_ITEST is not set |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_BOOTP_BOOTFILESIZE=y |
| # CONFIG_CMD_SLEEP is not set |
| CONFIG_CMD_UBI=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_EMBED=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_FLASH=y |
| CONFIG_CLK=y |
| CONFIG_ARM_PL180_MMCI=y |
| CONFIG_SYS_MMC_MAX_BLK_COUNT=127 |
| CONFIG_MTD=y |
| CONFIG_DM_MTD=y |
| CONFIG_MTD_NOR_FLASH=y |
| CONFIG_SYS_FLASH_CFI_WIDTH_32BIT=y |
| CONFIG_FLASH_SHOW_PROGRESS=0 |
| CONFIG_CFI_FLASH=y |
| CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y |
| CONFIG_SYS_FLASH_EMPTY_INFO=y |
| CONFIG_SYS_FLASH_PROTECTION=y |
| CONFIG_SYS_FLASH_CFI=y |
| CONFIG_SYS_MAX_FLASH_SECT=259 |
| CONFIG_SYS_MAX_FLASH_BANKS=2 |
| CONFIG_SMC911X=y |
| CONFIG_SMC911X_32_BIT=y |
| CONFIG_BAUDRATE=38400 |
| CONFIG_DM_SERIAL=y |
| CONFIG_SYS_TIMER_COUNTS_DOWN=y |
