CONFIG_ENV_OFFSET=0x4200
CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen"
CONFIG_SPL_TEXT_BASE=0x02021410
-CONFIG_SYS_PROMPT="ORIGEN # "
CONFIG_SYS_MONITOR_LEN=262144
CONFIG_SPL=y
CONFIG_IDENT_STRING=" for ORIGEN"
# CONFIG_SPL_FRAMEWORK is not set
CONFIG_SPL_FOOTPRINT_LIMIT=y
CONFIG_SPL_MAX_FOOTPRINT=0x3800
+CONFIG_SYS_PROMPT="ORIGEN # "
CONFIG_SYS_PBSIZE=1024
# CONFIG_CMD_XIMG is not set
CONFIG_CMD_THOR_DOWNLOAD=y