2019-05-19 12:07:45 +00:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2013-06-10 15:27:13 +00: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 13:05:05 +00:00
|
|
|
select KEYSTONE_TIMER
|
2017-01-19 17:36:08 +00:00
|
|
|
select ARCH_HAS_RESET_CONTROLLER
|
2013-06-21 23:03:47 +00:00
|
|
|
select ARM_ERRATA_798181 if SMP
|
2013-07-14 15:44:53 +00:00
|
|
|
select COMMON_CLK_KEYSTONE
|
2013-11-23 21:36:16 +00:00
|
|
|
select ARCH_SUPPORTS_BIG_ENDIAN
|
2013-11-23 21:58:03 +00:00
|
|
|
select ZONE_DMA if ARM_LPAE
|
2016-06-08 23:07:06 +00:00
|
|
|
select PINCTRL
|
2017-04-04 15:59:27 +00:00
|
|
|
select PM_GENERIC_DOMAINS if PM
|
2013-06-10 15:27:13 +00:00
|
|
|
help
|
|
|
|
Support for boards based on the Texas Instruments Keystone family of
|
|
|
|
SoCs.
|