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:

quoted

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