1 # SPDX-License-Identifier: GPL-2.0
4 depends on ARCH_MULTI_V7
5 select ARCH_SUPPORTS_TRUSTED_FOUNDATIONS
10 select HAVE_ARM_SCU if SMP
11 select HAVE_ARM_TWD if SMP
14 select ARCH_HAS_RESET_CONTROLLER
15 select RESET_CONTROLLER
17 select ZONE_DMA if ARM_LPAE
19 This enables support for NVIDIA Tegra based systems.