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 12CONFIG_CMD_DHCP=y 13# CONFIG_CMD_NFS is not set 14# CONFIG_CMD_MISC is not set 15CONFIG_OF_CONTROL=y 16CONFIG_USB=y 17CONFIG_DM_USB=y 18CONFIG_USB_GADGET=y 19CONFIG_USB_GADGET_DWC2_OTG=y 20CONFIG_USB_GADGET_DOWNLOAD=y 21CONFIG_G_DNL_MANUFACTURER="Samsung" 22CONFIG_G_DNL_VENDOR_NUM=0x04e8 23CONFIG_G_DNL_PRODUCT_NUM=0x6601 24