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 ARCH_SUPPORTS_BIG_ENDIAN 12 select ZONE_DMA if ARM_LPAE 13 select PINCTRL 14 select PM_GENERIC_DOMAINS if PM 15 help 16 Support for boards based on the Texas Instruments Keystone family of 17 SoCs. 18