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 ARCH_SUPPORTS_BIG_ENDIAN
7	select ARM_AMBA
8	select ARM_GIC
9	select ARM_GLOBAL_TIMER
10	select CADENCE_TTC_TIMER
11	select HAVE_ARM_SCU if SMP
12	select HAVE_ARM_TWD if SMP
13	select MFD_SYSCON
14	select PINCTRL
15	select PINCTRL_ZYNQ
16	select SOC_BUS
17	help
18	  Support for Xilinx Zynq ARM Cortex A9 Platform
19