# SPDX-License-Identifier: GPL-2.0-only config [31mCONFIG_ARCH_KEYSTONE[0m bool "Texas Instruments Keystone Devices" depends on [31mCONFIG_ARCH_MULTI_V7[0m select [31mCONFIG_ARM_GIC[0m select [31mCONFIG_HAVE_ARM_ARCH_TIMER[0m select [31mCONFIG_KEYSTONE_TIMER[0m select [31mCONFIG_ARCH_HAS_RESET_CONTROLLER[0m select [31mCONFIG_ARM_ERRATA_798181[0m if [31mCONFIG_SMP[0m select [31mCONFIG_COMMON_CLK_KEYSTONE[0m select [31mCONFIG_ARCH_SUPPORTS_BIG_ENDIAN[0m select [31mCONFIG_ZONE_DMA[0m if [31mCONFIG_ARM_LPAE[0m select [31mCONFIG_PINCTRL[0m select [31mCONFIG_PM_GENERIC_DOMAINS[0m if [31mCONFIG_PM[0m help Support for boards based on the Texas Instruments Keystone family of SoCs. |