| CONFIG_SYS_TEXT_BASE=0x43E00000 |
| CONFIG_IDENT_STRING=" for ORIGEN" |
| # CONFIG_USE_BOOTCOMMAND is not set |
| CONFIG_SYS_CONSOLE_IS_IN_ENV=y |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| # CONFIG_SPL_FRAMEWORK is not set |
| CONFIG_SYS_PROMPT="ORIGEN # " |
| # CONFIG_CMD_XIMG is not set |
| CONFIG_CMD_THOR_DOWNLOAD=y |
| CONFIG_CMD_USB_MASS_STORAGE=y |
| # CONFIG_CMD_NET is not set |
| # CONFIG_CMD_MISC is not set |
| CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen" |
| CONFIG_USB_GADGET_MANUFACTURER="Samsung" |
| CONFIG_USB_GADGET_VENDOR_NUM=0x04e8 |
| CONFIG_USB_GADGET_PRODUCT_NUM=0x6601 |
| CONFIG_USB_GADGET_DWC2_OTG=y |
| CONFIG_USB_GADGET_DOWNLOAD=y |
| CONFIG_USB_FUNCTION_THOR=y |
| # CONFIG_REGEX is not set |