2 CONFIG_SYS_ICACHE_OFF=y
3 CONFIG_SYS_DCACHE_OFF=y
6 CONFIG_SYS_TEXT_BASE=0x83000000
8 CONFIG_TARGET_EA_LPC3250DEVKITV2=y
9 CONFIG_DEFAULT_DEVICE_TREE="lpc3250-ea3250"
10 CONFIG_DISTRO_DEFAULTS=y
11 # CONFIG_ARCH_FIXUP_FDT_MEMORY is not set
12 # CONFIG_AUTOBOOT is not set
13 # CONFIG_USE_BOOTCOMMAND is not set
14 CONFIG_BOARD_EARLY_INIT_F=y
15 CONFIG_SYS_PROMPT="EA-LPC3250v2=> "
19 # CONFIG_NET is not set
22 CONFIG_SYS_I2C_LPC32XX=y
23 CONFIG_SPECIFY_CONSOLE_INDEX=y