1# SPDX-License-Identifier: GPL-2.0-only 2config ARCH_KEYSTONE 3 bool "Texas Instruments Keystone Devices" 4 depends on ARCH_MULTI_V7 5 select ARM_GIC 6 select HAVE_ARM_ARCH_TIMER 7 select KEYSTONE_TIMER 8 select ARCH_HAS_RESET_CONTROLLER 9 select ARM_ERRATA_798181 if SMP 10 select COMMON_CLK_KEYSTONE 11 select ZONE_DMA if ARM_LPAE 12 select PINCTRL 13 select PM_GENERIC_DOMAINS if PM 14 help 15 Support for boards based on the Texas Instruments Keystone family of 16 SoCs. 17