In trying to test this I found there are also issues in vboxvideo. I don't see a patch upstream for this, so working on a fix.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1813071 Title: virtualbox 5.2.24-dfsg-4build1 ADT test failure with linux 5.0.0-1.2 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/1813071/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs