1 files changed, 22 insertions, 0 deletions

diff --git a/arch/arm/mach-s5pv310/Kconfig b/arch/arm/mach-s5pv310/Kconfig
index d64efe0d4c9..b2a9acc5185 100644
--- a/arch/arm/mach-s5pv310/Kconfig
+++ b/arch/arm/mach-s5pv310/Kconfig
@@ -15,6 +15,11 @@ config CPU_S5PV310
         help
           Enable S5PV310 CPU support
 
+config S5PV310_DEV_PD
+        bool
+        help
+          Compile in platform device definitions for Power Domain
+
 config S5PV310_SETUP_I2C1
         bool
         help
@@ -61,6 +66,11 @@ config S5PV310_SETUP_SDHCI_GPIO
         help
           Common setup code for SDHCI gpio.
 
+config S5PV310_DEV_SYSMMU
+        bool
+        help
+          Common setup code for SYSTEM MMU in S5PV310
+
 # machine support
 
 menu "S5PC210 Machines"
@@ -70,11 +80,15 @@ config MACH_SMDKC210
         select CPU_S5PV310
         select S3C_DEV_RTC
         select S3C_DEV_WDT
+        select S3C_DEV_I2C1
         select S3C_DEV_HSMMC
         select S3C_DEV_HSMMC1
         select S3C_DEV_HSMMC2
         select S3C_DEV_HSMMC3
+        select S5PV310_DEV_PD
+        select S5PV310_SETUP_I2C1
         select S5PV310_SETUP_SDHCI
+        select S5PV310_DEV_SYSMMU
         help
           Machine support for Samsung SMDKC210
           S5PC210(MCP) is one of package option of S5PV310
@@ -83,6 +97,10 @@ config MACH_UNIVERSAL_C210
         bool "Mobile UNIVERSAL_C210 Board"
         select CPU_S5PV310
         select S5P_DEV_ONENAND
+        select S3C_DEV_HSMMC
+        select S3C_DEV_HSMMC2
+        select S3C_DEV_HSMMC3
+        select S5PV310_SETUP_SDHCI
         select S3C_DEV_I2C1
         select S5PV310_SETUP_I2C1
         help
@@ -98,10 +116,14 @@ config MACH_SMDKV310
         select CPU_S5PV310
         select S3C_DEV_RTC
         select S3C_DEV_WDT
+        select S3C_DEV_I2C1
         select S3C_DEV_HSMMC
         select S3C_DEV_HSMMC1
         select S3C_DEV_HSMMC2
         select S3C_DEV_HSMMC3
+        select S5PV310_DEV_PD
+        select S5PV310_DEV_SYSMMU
+        select S5PV310_SETUP_I2C1
         select S5PV310_SETUP_SDHCI
         help
           Machine support for Samsung SMDKV310