1 files changed, 14 insertions, 0 deletions

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 9adc278a22ab..9e76a75a490b 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -879,6 +879,20 @@ config ARCH_VT8500
         select HAVE_PWM
         help
           Support for VIA/WonderMedia VT8500/WM85xx System-on-Chip.
+
+config ARCH_ZYNQ
+        bool "Xilinx Zynq ARM Cortex A9 Platform"
+        select CPU_V7
+        select GENERIC_TIME
+        select GENERIC_CLOCKEVENTS
+        select CLKDEV_LOOKUP
+        select ARM_GIC
+        select ARM_AMBA
+        select ICST
+        select USE_OF
+        help
+          Support for Xilinx Zynq ARM Cortex A9 Platform
+
 endchoice
 
 #