1config ARCH_KEYSTONE
2	bool "Texas Instruments Keystone Devices"
3	depends on ARCH_MULTI_V7
4	depends on ARM_PATCH_PHYS_VIRT
5	select ARM_GIC
6	select HAVE_ARM_ARCH_TIMER
7	select CLKSRC_MMIO
8	select ARM_ERRATA_798181 if SMP
9	select COMMON_CLK_KEYSTONE
10	select ARCH_SUPPORTS_BIG_ENDIAN
11	select ZONE_DMA if ARM_LPAE
12	select MIGHT_HAVE_PCI
13	select PCI_DOMAINS if PCI
14	help
15	  Support for boards based on the Texas Instruments Keystone family of
16	  SoCs.
17