1CONFIG_ARM=y 2CONFIG_ARCH_EXYNOS=y 3CONFIG_TARGET_ORIGEN=y 4CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen" 5CONFIG_SPL=y 6CONFIG_HUSH_PARSER=y 7CONFIG_SYS_PROMPT="ORIGEN # " 8# CONFIG_CMD_IMLS is not set 9# CONFIG_CMD_XIMG is not set 10# CONFIG_CMD_FPGA is not set 11# CONFIG_CMD_NET is not set 12# CONFIG_CMD_NFS is not set 13# CONFIG_CMD_MISC is not set 14CONFIG_OF_CONTROL=y 15CONFIG_USB=y 16CONFIG_DM_USB=y 17CONFIG_USB_GADGET=y 18CONFIG_USB_GADGET_DWC2_OTG=y 19CONFIG_USB_GADGET_DOWNLOAD=y 20CONFIG_G_DNL_MANUFACTURER="Samsung" 21CONFIG_G_DNL_VENDOR_NUM=0x04e8 22CONFIG_G_DNL_PRODUCT_NUM=0x6601 23