Thanks! I'm making this bug public since all the details and PoC are already public here:
https://bugzilla.kernel.org/show_bug.cgi?id=195167 ** Bug watch added: Linux Kernel Bug Tracker #195167 http://bugzilla.kernel.org/195167 ** Information type changed from Private Security to Public Security -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1678676 Title: linux_3.13.0-*.*: nVMX: Check current_vmcs12 before accessing in handle_invept() To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1678676/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
