3 CONFIG_SYS_TEXT_BASE=0x40002000
4 CONFIG_SPL_GPIO_SUPPORT=y
5 CONFIG_SPL_LIBCOMMON_SUPPORT=y
6 CONFIG_SPL_LIBGENERIC_SUPPORT=y
7 CONFIG_TARGET_MX23EVK=y
8 CONFIG_SPL_SERIAL_SUPPORT=y
9 # CONFIG_CONSOLE_MUX is not set
10 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
11 CONFIG_VERSION_VARIABLE=y
12 # CONFIG_DISPLAY_BOARDINFO is not set
13 CONFIG_ARCH_MISC_INIT=y
15 # CONFIG_SPL_FRAMEWORK is not set
18 # CONFIG_CMD_FLASH is not set
22 # CONFIG_CMD_SETEXPR is not set
27 CONFIG_ENV_IS_IN_MMC=y
28 # CONFIG_NET is not set