ARM: select PCI_DOMAINS config from ARCH_MULTIPLATFORM

[cascardo/linux.git] / arch / arm / mach-keystone / Kconfig

diff --git a/arch/arm/mach-keystone/Kconfig b/arch/arm/mach-keystone/Kconfig
index ea955f6..24bd64d 100644 (file)
--- a/arch/arm/mach-keystone/Kconfig
+++ b/arch/arm/mach-keystone/Kconfig
@@ -1,16 +1,14 @@
 config ARCH_KEYSTONE
        bool "Texas Instruments Keystone Devices"
        depends on ARCH_MULTI_V7
-       depends on ARM_PATCH_PHYS_VIRT
        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
          SoCs.