ARM: select PCI_DOMAINS config from ARCH_MULTIPLATFORM
[cascardo/linux.git] / arch / arm / mach-keystone / Kconfig
index 929fe91..24bd64d 100644 (file)
@@ -3,13 +3,11 @@ config ARCH_KEYSTONE
        depends on ARCH_MULTI_V7
        select ARM_GIC
        select HAVE_ARM_ARCH_TIMER
-       select CLKSRC_MMIO
+       select KEYSTONE_TIMER
        select ARM_ERRATA_798181 if SMP
        select COMMON_CLK_KEYSTONE
        select ARCH_SUPPORTS_BIG_ENDIAN
        select ZONE_DMA if ARM_LPAE
-       select MIGHT_HAVE_PCI
-       select PCI_DOMAINS if PCI
        select PINCTRL
        help
          Support for boards based on the Texas Instruments Keystone family of