Hi Arnd, On Fri, May 02, 2014 at 07:11:04PM +0100, Arnd Bergmann wrote: > 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. Sure, I can change that easily enough. Will -- 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