2 CONFIG_TARGET_DEVKIT3250=y
3 CONFIG_SPL_LIBCOMMON_SUPPORT=y
4 CONFIG_SPL_LIBGENERIC_SUPPORT=y
5 CONFIG_SPL_NAND_SUPPORT=y
6 CONFIG_SPL_SERIAL_SUPPORT=y
7 # CONFIG_MMC is not set
9 CONFIG_VERSION_VARIABLE=y
10 # CONFIG_DISPLAY_BOARDINFO is not set
11 CONFIG_BOARD_EARLY_INIT_F=y
13 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
17 # CONFIG_CMD_FPGA is not set
19 # CONFIG_CMD_SETEXPR is not set
28 CONFIG_MTD_NOR_FLASH=y