1 # SPDX-License-Identifier: GPL-2.0-only
3 bool "Texas Instruments Keystone Devices"
4 depends on ARCH_MULTI_V7
6 select HAVE_ARM_ARCH_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
13 select PM_GENERIC_DOMAINS if PM
15 Support for boards based on the Texas Instruments Keystone family of