arch/arm/mach-zynq/Kconfig

   1 config ARCH_ZYNQ
   2         bool "Xilinx Zynq ARM Cortex A9 Platform" if ARCH_MULTI_V7
   3         select ARM_AMBA
   4         select ARM_GIC
   5         select HAVE_ARM_SCU if SMP
   6         select HAVE_ARM_TWD if SMP
   7         select ICST
   8         select CADENCE_TTC_TIMER
   9         select ARM_GLOBAL_TIMER
  10         help
  11           Support for Xilinx Zynq ARM Cortex A9 Platform