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 HAVE_SCHED_CLOCK 11 select ARCH_WANT_OPTIONAL_GPIOLIB 12 select ARM_ERRATA_798181 if SMP 13 help 14 Support for boards based on the Texas Instruments Keystone family of 15 SoCs. 16