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