2019-05-19 13:07:45 +01:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2013-06-10 11:27:13 -04:00
|
|
|
config ARCH_KEYSTONE
|
|
|
|
bool "Texas Instruments Keystone Devices"
|
|
|
|
depends on ARCH_MULTI_V7
|
|
|
|
select ARM_GIC
|
|
|
|
select HAVE_ARM_ARCH_TIMER
|
2016-06-03 15:05:05 +02:00
|
|
|
select KEYSTONE_TIMER
|
2017-01-19 09:36:08 -08:00
|
|
|
select ARCH_HAS_RESET_CONTROLLER
|
2013-06-22 01:03:47 +02:00
|
|
|
select ARM_ERRATA_798181 if SMP
|
2013-07-14 11:44:53 -04:00
|
|
|
select COMMON_CLK_KEYSTONE
|
2013-11-23 16:58:03 -05:00
|
|
|
select ZONE_DMA if ARM_LPAE
|
2016-06-08 16:07:06 -07:00
|
|
|
select PINCTRL
|
2017-04-04 08:59:27 -07:00
|
|
|
select PM_GENERIC_DOMAINS if PM
|
2013-06-10 11:27:13 -04:00
|
|
|
help
|
|
|
|
Support for boards based on the Texas Instruments Keystone family of
|
|
|
|
SoCs.
|