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