2 CONFIG_TARGET_DEVKIT3250=y
3 CONFIG_SYS_TEXT_BASE=0x83F00000
4 CONFIG_SPL_LIBCOMMON_SUPPORT=y
5 CONFIG_SPL_LIBGENERIC_SUPPORT=y
6 CONFIG_SPL_SERIAL_SUPPORT=y
10 CONFIG_BOOTARGS="console=ttyS0,115200n8"
11 CONFIG_VERSION_VARIABLE=y
12 # CONFIG_DISPLAY_BOARDINFO is not set
13 CONFIG_BOARD_EARLY_INIT_F=y
14 CONFIG_SPL_BOARD_INIT=y
15 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
16 CONFIG_SPL_NAND_SUPPORT=y
23 # CONFIG_CMD_SETEXPR is not set
30 CONFIG_ENV_IS_IN_NAND=y
34 # CONFIG_MMC is not set
35 CONFIG_MTD_NOR_FLASH=y
37 CONFIG_NAND_LPC32XX_SLC=y
38 CONFIG_SPL_NAND_SIMPLE=y
40 CONFIG_PHY_ADDR_ENABLE=y