x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / arm / mach-zynq / Kconfig
blob04f8a4a6e755e79b4c519cdbb0e487e6fcb99b78
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 SMP
10         select ICST
11         select MIGHT_HAVE_CACHE_L2X0
12         select USE_OF
13         select HAVE_SMP
14         select SPARSE_IRQ
15         select CADENCE_TTC_TIMER
16         help
17           Support for Xilinx Zynq ARM Cortex A9 Platform