Hi Catalin, On 02/12/2015 08:02 PM, Catalin Marinas wrote: > On Thu, Feb 12, 2015 at 03:55:51PM +0900, Chanwoo Choi wrote: >> diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig >> index 15e8e74..4fc08d1 100644 >> --- a/arch/arm64/Kconfig >> +++ b/arch/arm64/Kconfig >> @@ -153,6 +153,19 @@ config ARCH_EXYNOS >> help >> This enables support for Samsung Exynos SoC family >> >> +config ARCH_EXYNOS5433 >> + bool "ARMv8 based Samsung Exynos5433" >> + select ARCH_EXYNOS >> + select ARM_AMBA >> + select ARM_GIC > > ARM_GIC and ARM_AMBA are already selected by the top ARM64 config. > OK, I'll remove two configurations. Thanks, Chanwoo Choi -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html