| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | core/linux/config.i486 | 16 |
diff --git a/core/linux/config.i486 b/core/linux/config.i486 index 401d5c55..fac5f0f1 100644 --- a/core/linux/config.i486 +++ b/core/linux/config.i486 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.18.12-arch1 Kernel Configuration +# Linux/x86 4.18.16-arch1 Kernel Configuration # # @@ -7470,18 +7470,18 @@ CONFIG_UIO_NETX=m CONFIG_UIO_PRUSS=m CONFIG_UIO_MF624=m CONFIG_UIO_HV_GENERIC=m -CONFIG_VFIO_IOMMU_TYPE1=m -CONFIG_VFIO_VIRQFD=m -CONFIG_VFIO=m +CONFIG_VFIO_IOMMU_TYPE1=y +CONFIG_VFIO_VIRQFD=y +CONFIG_VFIO=y # CONFIG_VFIO_NOIOMMU is not set -CONFIG_VFIO_PCI=m +CONFIG_VFIO_PCI=y CONFIG_VFIO_PCI_VGA=y CONFIG_VFIO_PCI_MMAP=y CONFIG_VFIO_PCI_INTX=y CONFIG_VFIO_PCI_IGD=y -CONFIG_VFIO_MDEV=m -CONFIG_VFIO_MDEV_DEVICE=m -CONFIG_IRQ_BYPASS_MANAGER=m +CONFIG_VFIO_MDEV=y +CONFIG_VFIO_MDEV_DEVICE=y +CONFIG_IRQ_BYPASS_MANAGER=y CONFIG_VIRT_DRIVERS=y # CONFIG_VBOXGUEST is not set CONFIG_VIRTIO=m |