| # SPDX-License-Identifier: GPL-2.0-only | |
| config ARCH_KEYSTONE | |
| bool "Texas Instruments Keystone Devices" | |
| depends on ARCH_MULTI_V7 | |
| select ARM_GIC | |
| select HAVE_ARM_ARCH_TIMER | |
| select KEYSTONE_TIMER | |
| select ARCH_HAS_RESET_CONTROLLER | |
| select ARM_ERRATA_798181 if SMP | |
| select COMMON_CLK_KEYSTONE | |
| select ZONE_DMA if ARM_LPAE | |
| select PINCTRL | |
| select PM_GENERIC_DOMAINS if PM | |
| help | |
| Support for boards based on the Texas Instruments Keystone family of | |
| SoCs. |