| CONFIG_ARM=y |
| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_SYS_ICACHE_OFF=y |
| CONFIG_SYS_DCACHE_OFF=y |
| CONFIG_ARCH_CPU_INIT=y |
| CONFIG_ARCH_LPC32XX=y |
| CONFIG_TEXT_BASE=0x83000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_NR_DRAM_BANKS=1 |
| 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_PROMPT="EA-LPC3250v2=> " |
| CONFIG_SYS_LOAD_ADDR=0x80100000 |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_HAS_BOARD_SIZE_LIMIT=y |
| CONFIG_BOARD_SIZE_LIMIT=1048575 |
| # CONFIG_ARCH_FIXUP_FDT_MEMORY is not set |
| # CONFIG_AUTOBOOT is not set |
| # CONFIG_USE_BOOTCOMMAND is not set |
| CONFIG_BOARD_EARLY_INIT_F=y |
| CONFIG_SYS_CBSIZE=256 |
| CONFIG_SYS_PBSIZE=288 |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_OF_CONTROL=y |
| # CONFIG_NET is not set |
| CONFIG_LPC32XX_GPIO=y |
| CONFIG_DM_I2C=y |
| CONFIG_SYS_I2C_LPC32XX=y |
| CONFIG_SPECIFY_CONSOLE_INDEX=y |
| CONFIG_CONS_INDEX=5 |
| CONFIG_SYS_NS16550=y |
| CONFIG_PANIC_HANG=y |