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 select ARCH_DMA_ADDR_T_64BIT if ARM_LPAE 19 help 20 This enables support for NVIDIA Tegra based systems. 21