kernel/arch/arm/mach-zynq/Kconfig

   1 config ARCH_ZYNQ
   2         bool "Xilinx Zynq ARM Cortex A9 Platform" if ARCH_MULTI_V7
   3         select ARCH_SUPPORTS_BIG_ENDIAN
   4         select ARM_AMBA
   5         select ARM_GIC
   6         select ARM_GLOBAL_TIMER if !CPU_FREQ
   7         select CADENCE_TTC_TIMER
   8         select HAVE_ARM_SCU if SMP
   9         select HAVE_ARM_TWD if SMP
  10         select ICST
  11         select MFD_SYSCON
  12         select PINCTRL
  13         select PINCTRL_ZYNQ
  14         select SOC_BUS
  15         help
  16           Support for Xilinx Zynq ARM Cortex A9 Platform