1config ARCH_KEYSTONE 2 bool "Texas Instruments Keystone Devices" 3 depends on ARCH_MULTI_V7 4 select CPU_V7 5 select ARM_GIC 6 select HAVE_ARM_ARCH_TIMER 7 select HAVE_SMP 8 select CLKSRC_MMIO 9 select GENERIC_CLOCKEVENTS 10 select ARCH_WANT_OPTIONAL_GPIOLIB 11 select ARM_ERRATA_798181 if SMP 12 help 13 Support for boards based on the Texas Instruments Keystone family of 14 SoCs. 15