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.