5 CONFIG_IDENT_STRING=" for ORIGEN"
6 CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen"
7 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
10 CONFIG_SYS_PROMPT="ORIGEN # "
12 # CONFIG_CMD_IMLS is not set
13 # CONFIG_CMD_XIMG is not set
16 CONFIG_CMD_USB_MASS_STORAGE=y
17 # CONFIG_CMD_FPGA is not set
18 # CONFIG_CMD_NET is not set
20 # CONFIG_CMD_NFS is not set
23 # CONFIG_CMD_MISC is not set
26 CONFIG_CMD_EXT4_WRITE=y
28 CONFIG_CMD_FS_GENERIC=y
34 CONFIG_USB_GADGET_DWC2_OTG=y
35 CONFIG_USB_GADGET_DOWNLOAD=y
36 CONFIG_G_DNL_MANUFACTURER="Samsung"
37 CONFIG_G_DNL_VENDOR_NUM=0x04e8
38 CONFIG_G_DNL_PRODUCT_NUM=0x6601