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