I can confirm Virtualbox 5.2 from virtualbox.org also works with linux- hwe 4.13.0-29.32~16.04.1 from ppa:canonical-kernel-team/pti which fixes Spectre with IBRS/IBPB.
And I hope Virtualbox implements IBRS/IBPB path through to also allow Spectre protection in vms. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1736116 Title: Host with kernel 4.13 freezes when starting a VM with VirtualBox To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/1736116/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs