linux4.16: prepare for VBOXVIDEO and VBOXDRV

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 <pullmoll@t-online.de>
This commit is contained in:
Jürgen Buchmüller 2018-04-18 20:14:22 +02:00
parent 93fc40dda8
commit f8fb7fe7f0
No known key found for this signature in database
GPG key ID: 6764EC32352D0647
2 changed files with 4 additions and 4 deletions

View file

@ -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

View file

@ -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