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