1CONFIG_ARM=y 2CONFIG_ORION5X=y 3CONFIG_SPL_LIBCOMMON_SUPPORT=y 4CONFIG_SPL_LIBGENERIC_SUPPORT=y 5CONFIG_TARGET_EDMINIV2=y 6CONFIG_SPL_SERIAL_SUPPORT=y 7CONFIG_IDENT_STRING=" EDMiniV2" 8CONFIG_BOOTDELAY=3 9# CONFIG_DISPLAY_BOARDINFO is not set 10CONFIG_ARCH_MISC_INIT=y 11CONFIG_SPL=y 12CONFIG_SPL_BOARD_INIT=y 13CONFIG_SPL_NOR_SUPPORT=y 14CONFIG_HUSH_PARSER=y 15CONFIG_SYS_PROMPT="EDMiniV2> " 16CONFIG_CMD_IDE=y 17CONFIG_CMD_I2C=y 18CONFIG_CMD_USB=y 19# CONFIG_CMD_SETEXPR is not set 20CONFIG_CMD_EXT2=y 21CONFIG_ISO_PARTITION=y 22CONFIG_ENV_IS_IN_FLASH=y 23# CONFIG_MMC is not set 24CONFIG_MTD_NOR_FLASH=y 25CONFIG_SYS_NS16550=y 26CONFIG_USB=y 27CONFIG_USB_EHCI_HCD=y 28CONFIG_USB_STORAGE=y 29