1CONFIG_ARM=y 2CONFIG_ARCH_EXYNOS=y 3CONFIG_TARGET_ORIGEN=y 4CONFIG_DEFAULT_DEVICE_TREE="exynos4210-origen" 5CONFIG_SPL=y 6# CONFIG_CMD_IMLS is not set 7# CONFIG_CMD_XIMG is not set 8# CONFIG_CMD_FPGA is not set 9# CONFIG_CMD_NET is not set 10# CONFIG_CMD_NFS is not set 11# CONFIG_CMD_MISC is not set 12CONFIG_OF_CONTROL=y 13CONFIG_SPL_DISABLE_OF_CONTROL=y 14CONFIG_USB=y 15CONFIG_DM_USB=y 16CONFIG_SYS_PROMPT="ORIGEN # " 17