Kconfig

 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