CONFIG_ARCH_EXYNOS is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Samsung EXYNOS
modulename: common.ko
and/orpmu.ko
and/orsetup-i2c0.ko
and/orexynos-combiner.ko
configname: CONFIG_ARCH_EXYNOS
ARM system type
└─>Samsung EXYNOS
In linux kernel since version 3.1 (release Date: 2011-10-24)
Support for SAMSUNG's EXYNOS SoCs (EXYNOS4/5)
source code:
is selected by
CONFIG_ARCH_EXYNOS4CONFIG_ARCH_EXYNOS5
CONFIG_CPU_EXYNOS4210
CONFIG_SOC_EXYNOS4212
CONFIG_SOC_EXYNOS4412
CONFIG_SOC_EXYNOS5250
CONFIG_SOC_EXYNOS5440
CONFIG_EXYNOS4_SETUP_SDHCI
CONFIG_MACH_SMDKC210
CONFIG_MACH_SMDKV310
CONFIG_MACH_ARMLEX4210
CONFIG_MACH_UNIVERSAL_C210
CONFIG_MACH_NURI
CONFIG_MACH_ORIGEN
CONFIG_MACH_SMDK4212
CONFIG_MACH_SMDK4412
CONFIG_MACH_EXYNOS4_DT
CONFIG_MACH_EXYNOS5_DT
CONFIG_PLAT_S5P
CONFIG_EXYNOS_IOMMU