Build vfio-pci as a module, as dpdk tools expect it to be.

[kvmfornfv.git] / kernel / arch / x86 / configs / opnfv.config

diff --git a/kernel/arch/x86/configs/opnfv.config b/kernel/arch/x86/configs/opnfv.config
index 457914b..704af49 100644 (file)
--- a/kernel/arch/x86/configs/opnfv.config
+++ b/kernel/arch/x86/configs/opnfv.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 4.1.3 Kernel Configuration
+# Linux/x86 4.1.10 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -91,6 +91,7 @@ CONFIG_GENERIC_MSI_IRQ=y
 # CONFIG_IRQ_DOMAIN_DEBUG is not set
 CONFIG_IRQ_FORCED_THREADING=y
 CONFIG_SPARSE_IRQ=y
+CONFIG_CLOCKSOURCE_WATCHDOG=y
 CONFIG_ARCH_CLOCKSOURCE_DATA=y
 CONFIG_CLOCKSOURCE_VALIDATE_LAST_CYCLE=y
 CONFIG_GENERIC_TIME_VSYSCALL=y
@@ -2937,9 +2938,9 @@ CONFIG_UIO=y
 # CONFIG_UIO_NETX is not set
 # CONFIG_UIO_MF624 is not set
 CONFIG_VFIO_IOMMU_TYPE1=y
-CONFIG_VFIO_VIRQFD=y
+CONFIG_VFIO_VIRQFD=m
 CONFIG_VFIO=y
-CONFIG_VFIO_PCI=y
+CONFIG_VFIO_PCI=m
 # CONFIG_VFIO_PCI_VGA is not set
 CONFIG_VFIO_PCI_MMAP=y
 CONFIG_VFIO_PCI_INTX=y