| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_TEXT_BASE=0x83000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x80000f20 |
| CONFIG_TARGET_EA_LPC3250DEVKITV2=y |
| CONFIG_DEFAULT_DEVICE_TREE="lpc3250-ea3250" |
| CONFIG_SYS_LOAD_ADDR=0x80100000 |
| CONFIG_HAS_BOARD_SIZE_LIMIT=y |
| CONFIG_BOARD_SIZE_LIMIT=1048575 |
| # CONFIG_AUTOBOOT is not set |
| # CONFIG_ARCH_FIXUP_FDT_MEMORY is not set |
| # CONFIG_USE_BOOTCOMMAND is not set |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_SYS_PROMPT="EA-LPC3250v2=> " |
| CONFIG_SPECIFY_CONSOLE_INDEX=y |