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 # # This is sorted alphabetically by mach-* pathname. However, plat-* -- 1.9.2 -- 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