[vbox-dev] New virtualbox vboxvideo mainline kernel broken in Ubuntu

[Gianfranco Costamagna]

Hello,

>Attached is a fix, which I've already submitted for inclusion into the
>mainline kernel. I believe this fix should also be applied to the VirtualBox
>5.2 Guest Additions version of the driver too, as the bug seems to originally

>come from there and to be present there too.

I'm already building an Ubuntu kernel, will test it tomorrow and report back!

thanks a lot,

Gianfranco