3 CONFIG_SPL_LIBCOMMON_SUPPORT=y
4 CONFIG_SPL_LIBGENERIC_SUPPORT=y
5 CONFIG_SPL_SERIAL_SUPPORT=y
6 CONFIG_TARGET_EDMINIV2=y
7 CONFIG_IDENT_STRING=" EDMiniV2"
9 # CONFIG_DISPLAY_BOARDINFO is not set
11 CONFIG_SPL_NOR_SUPPORT=y
13 CONFIG_SYS_PROMPT="EDMiniV2> "
16 # CONFIG_CMD_SETEXPR is not set