1 # SPDX-License-Identifier: GPL-2.0
3 bool "Xilinx Zynq ARM Cortex A9 Platform"
4 depends on ARCH_MULTI_V7
5 select ARCH_HAS_RESET_CONTROLLER
8 select ARM_GLOBAL_TIMER
9 select CADENCE_TTC_TIMER
10 select HAVE_ARM_SCU if SMP
11 select HAVE_ARM_TWD if SMP
17 Support for Xilinx Zynq ARM Cortex A9 Platform