1# SPDX-License-Identifier: GPL-2.0
2menuconfig ARCH_TEGRA
3	bool "NVIDIA Tegra"
4	depends on ARCH_MULTI_V7
5	select ARCH_SUPPORTS_TRUSTED_FOUNDATIONS
6	select ARM_AMBA
7	select ARM_GIC
8	select CLKSRC_MMIO
9	select GPIOLIB
10	select HAVE_ARM_SCU if SMP
11	select HAVE_ARM_TWD if SMP
12	select PINCTRL
13	select PM_OPP
14	select ARCH_HAS_RESET_CONTROLLER
15	select RESET_CONTROLLER
16	select SOC_BUS
17	select ZONE_DMA if ARM_LPAE
18	help
19	  This enables support for NVIDIA Tegra based systems.
20