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