From f8fb7fe7f0f0e1d8033c9059a5c9b13891f20ee7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= Date: Wed, 18 Apr 2018 20:14:22 +0200 Subject: [PATCH] linux4.16: prepare for VBOXVIDEO and VBOXDRV MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit No revbump, but build it with the next kernel. This improves the Void Linux experience in VirtualBox, especially for x86_64-musl images. Signed-off-by: Jürgen Buchmüller --- srcpkgs/linux4.16/files/i386-dotconfig | 4 ++-- srcpkgs/linux4.16/files/x86_64-dotconfig | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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