1CONFIG_ARM=y 2CONFIG_ORION5X=y 3CONFIG_SPL_LIBCOMMON_SUPPORT=y 4CONFIG_SPL_LIBGENERIC_SUPPORT=y 5CONFIG_SPL_SERIAL_SUPPORT=y 6CONFIG_TARGET_EDMINIV2=y 7CONFIG_IDENT_STRING=" EDMiniV2" 8CONFIG_BOOTDELAY=3 9# CONFIG_DISPLAY_BOARDINFO is not set 10CONFIG_SPL=y 11CONFIG_SPL_NOR_SUPPORT=y 12CONFIG_HUSH_PARSER=y 13CONFIG_SYS_PROMPT="EDMiniV2> " 14CONFIG_CMD_I2C=y 15CONFIG_CMD_USB=y 16# CONFIG_CMD_SETEXPR is not set 17CONFIG_CMD_EXT2=y 18CONFIG_SYS_NS16550=y 19CONFIG_USB=y 20CONFIG_USB_STORAGE=y 21