Kernel modules do not build with Linux 4.12 -> fixed in 5.1.24

[nimportequi]

Possibly related to Ticket #16725.

When upgrading to Linux 4.12, /sbin/vboxconfig fails with the message

vboxdrv.sh: Stopping VirtualBox services. vboxdrv.sh: Building VirtualBox kernel modules. vboxdrv.sh: failed: Look at /var/log/vbox-install.log to find out what went wrong.

There were problems setting up VirtualBox. To re-start the set-up process, run

/sbin/vboxconfig

as root.

[nimportequi]

Please let me know if there is anything else I can do to help. With 4.11, the same virtualbox version built perfectly fine; it's only with 4.12 where the issue appeared.

[Michael Thayer]

See these changes:

https://www.virtualbox.org/changeset/66927/vbox

https://www.virtualbox.org/changeset/66928/vbox

https://www.virtualbox.org/changeset/66930/vbox

[sergiomb]

I use to follow opensuse patches (1) , and you have there patches for kernel-4.12 (2)

(1) ​https://build.opensuse.org/package/show/Virtualization/virtualbox

(2) ​https://build.opensuse.org/package/view_file/Virtualization/virtualbox/vbox_fix_for_kernel_4.12.patch?expand=1

[nimportequi]

Fixed with 5.1.24-117012

(I can't close the ticket)