[RESEND PATCH 1/3] ARM: mach-virt: allow PCI support to be selected

[Will Deacon]

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 at arm.com>
> > ---
> >  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