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 COMMON_CLK
   6         select CPU_V7
   7         select GENERIC_CLOCKEVENTS
   8         select HAVE_ARM_SCU if SMP
   9         select HAVE_ARM_TWD if LOCAL_TIMERS
  10         select ICST
  11         select MIGHT_HAVE_CACHE_L2X0
  12         select USE_OF
  13         select SPARSE_IRQ
  14         select CADENCE_TTC_TIMER
  15         help
  16           Support for Xilinx Zynq ARM Cortex A9 Platform