0001 # SPDX-License-Identifier: GPL-2.0-only
0002 config ARCH_KEYSTONE
0003 bool "Texas Instruments Keystone Devices"
0004 depends on ARCH_MULTI_V7
0005 select ARM_GIC
0006 select HAVE_ARM_ARCH_TIMER
0007 select KEYSTONE_TIMER
0008 select ARCH_HAS_RESET_CONTROLLER
0009 select ARM_ERRATA_798181 if SMP
0010 select COMMON_CLK_KEYSTONE
0011 select ZONE_DMA if ARM_LPAE
0012 select PINCTRL
0013 select PM_GENERIC_DOMAINS if PM
0014 help
0015 Support for boards based on the Texas Instruments Keystone family of
0016 SoCs.
