2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_SPL_SKIP_LOWLEVEL_INIT=y
4 CONFIG_SYS_DCACHE_OFF=y
7 CONFIG_SYS_TEXT_BASE=0x43E00000
10 CONFIG_ENV_SIZE=0x4000
11 CONFIG_ENV_OFFSET=0x4200
12 CONFIG_SYS_MALLOC_LEN=0x5004000
13 CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen"
14 CONFIG_SPL_TEXT_BASE=0x02021410
16 CONFIG_IDENT_STRING=" for ORIGEN"
17 CONFIG_DISTRO_DEFAULTS=y
18 CONFIG_SYS_LOAD_ADDR=0x43e00000
19 # CONFIG_USE_BOOTCOMMAND is not set
20 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
21 CONFIG_SYS_CONSOLE_INFO_QUIET=y
22 # CONFIG_SPL_FRAMEWORK is not set
23 CONFIG_SYS_PROMPT="ORIGEN # "
24 # CONFIG_CMD_XIMG is not set
25 CONFIG_CMD_THOR_DOWNLOAD=y
29 CONFIG_CMD_USB_MASS_STORAGE=y
30 # CONFIG_CMD_NET is not set
32 # CONFIG_CMD_SLEEP is not set
33 CONFIG_CMD_EXT4_WRITE=y
35 CONFIG_ENV_OVERWRITE=y
36 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
38 CONFIG_SYS_DFU_DATA_BUF_SIZE=0x2000000
41 CONFIG_MMC_SDHCI_SDMA=y
42 CONFIG_MMC_SDHCI_S5P=y
46 CONFIG_USB_GADGET_MANUFACTURER="Samsung"
47 CONFIG_USB_GADGET_VENDOR_NUM=0x04e8
48 CONFIG_USB_GADGET_PRODUCT_NUM=0x6601
49 CONFIG_USB_GADGET_DWC2_OTG=y
50 CONFIG_USB_GADGET_DOWNLOAD=y
51 CONFIG_USB_FUNCTION_THOR=y