3 depends on ARCH_MULTI_V7
4 select ARCH_SUPPORTS_TRUSTED_FOUNDATIONS
9 select HAVE_ARM_SCU if SMP
10 select HAVE_ARM_TWD if SMP
13 select ARCH_HAS_RESET_CONTROLLER
14 select RESET_CONTROLLER
16 select ZONE_DMA if ARM_LPAE
17 select ARCH_DMA_ADDR_T_64BIT if ARM_LPAE
19 This enables support for NVIDIA Tegra based systems.