diff --git a/srcpkgs/linux4.16/files/i386-dotconfig b/srcpkgs/linux4.16/files/i386-dotconfig index 0c7b4d84702..0c1330383a2 100644 --- a/srcpkgs/linux4.16/files/i386-dotconfig +++ b/srcpkgs/linux4.16/files/i386-dotconfig @@ -6593,7 +6593,7 @@ CONFIG_VFIO_MDEV=m CONFIG_VFIO_MDEV_DEVICE=m CONFIG_IRQ_BYPASS_MANAGER=m CONFIG_VIRT_DRIVERS=y -# CONFIG_VBOXGUEST is not set +CONFIG_VBOXGUEST=m CONFIG_VIRTIO=m CONFIG_VIRTIO_MENU=y CONFIG_VIRTIO_PCI=m @@ -6969,7 +6969,7 @@ CONFIG_GREYBUS_USB=m # # USB Power Delivery and Type-C drivers # -# CONFIG_DRM_VBOXVIDEO is not set +CONFIG_DRM_VBOXVIDEO=m CONFIG_PI433=m CONFIG_X86_PLATFORM_DEVICES=y CONFIG_ACER_WMI=m diff --git a/srcpkgs/linux4.16/files/x86_64-dotconfig b/srcpkgs/linux4.16/files/x86_64-dotconfig index db5da12bd9e..45b4cf98ccf 100644 --- a/srcpkgs/linux4.16/files/x86_64-dotconfig +++ b/srcpkgs/linux4.16/files/x86_64-dotconfig @@ -6640,7 +6640,7 @@ CONFIG_VFIO_MDEV=m CONFIG_VFIO_MDEV_DEVICE=m CONFIG_IRQ_BYPASS_MANAGER=m CONFIG_VIRT_DRIVERS=y -# CONFIG_VBOXGUEST is not set +CONFIG_VBOXGUEST=m CONFIG_VIRTIO=m CONFIG_VIRTIO_MENU=y CONFIG_VIRTIO_PCI=m @@ -7046,7 +7046,7 @@ CONFIG_GREYBUS_USB=m # # USB Power Delivery and Type-C drivers # -# CONFIG_DRM_VBOXVIDEO is not set +CONFIG_DRM_VBOXVIDEO=m CONFIG_PI433=m CONFIG_X86_PLATFORM_DEVICES=y CONFIG_ACER_WMI=m