On Friday 02 May 2014 17:41:14 Will Deacon wrote: > mach-virt can make use of virtio-pci devices, which requires the guest > kernel to have PCI support selected. > > This patch selects CONFIG_MIGHT_HAVE_PCI when CONFIG_ARCH_VIRT=y. > > Signed-off-by: Will Deacon <will.deacon@xxxxxxx> > --- > arch/arm/Kconfig | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig > index db3c5414223e..f24356c4d630 100644 > --- a/arch/arm/Kconfig > +++ b/arch/arm/Kconfig > @@ -941,6 +941,7 @@ config ARCH_VIRT > select ARM_GIC > select ARM_PSCI > select HAVE_ARM_ARCH_TIMER > + select MIGHT_HAVE_PCI I would actually just put it under ARCH_MULTIPLATFORM. Anything can have PCI really, and it doesn't cause any harm. Arnd -- To unsubscribe from this list: send the line "unsubscribe linux-pci" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html