1# SPDX-License-Identifier: GPL-2.0
2config ARCH_ZYNQ
3	bool "Xilinx Zynq ARM Cortex A9 Platform"
4	depends on ARCH_MULTI_V7
5	select ARCH_HAS_RESET_CONTROLLER
6	select ARM_AMBA
7	select ARM_GIC
8	select ARM_GLOBAL_TIMER
9	select CADENCE_TTC_TIMER
10	select HAVE_ARM_SCU if SMP
11	select HAVE_ARM_TWD if SMP
12	select MFD_SYSCON
13	select PINCTRL
14	select PINCTRL_ZYNQ
15	select SOC_BUS
16	help
17	  Support for Xilinx Zynq ARM Cortex A9 Platform
18