1 files changed, 6 insertions, 0 deletions

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 3c436fdbe2a0..e8265f257674 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -243,6 +243,7 @@ config ARCH_INTEGRATOR
         select ICST
         select GENERIC_TIME
         select GENERIC_CLOCKEVENTS
+        select PLAT_VERSATILE
         help
           Support for ARM's Integrator platform.
 
@@ -255,6 +256,7 @@ config ARCH_REALVIEW
         select GENERIC_TIME
         select GENERIC_CLOCKEVENTS
         select ARCH_WANT_OPTIONAL_GPIOLIB
+        select PLAT_VERSATILE
         help
           This enables support for ARM Ltd RealView boards.
 
@@ -268,6 +270,7 @@ config ARCH_VERSATILE
         select GENERIC_TIME
         select GENERIC_CLOCKEVENTS
         select ARCH_WANT_OPTIONAL_GPIOLIB
+        select PLAT_VERSATILE
         help
           This enables support for ARM Ltd Versatile board.
 
@@ -938,6 +941,9 @@ config PLAT_ORION
 config PLAT_PXA
         bool
 
+config PLAT_VERSATILE
+        bool
+
 source arch/arm/mm/Kconfig
 
 config IWMMXT