I wanted to mention that installing v4.16-rc4 from http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.16-rc4/ solved the problem for me.
# uname -a Linux de2 4.16.0-041600rc4-generic #201803041930 SMP Mon Mar 5 00:32:34 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux # dmesg | grep Xen ... [ 0.000000] Hypervisor detected: Xen PV [ 0.000000] Setting APIC routing to Xen PV. [ 0.000000] Booting paravirtualized kernel on Xen [ 0.000000] Xen version: 4.9.0 (preserve-AD) [ 0.004000] Xen: using vcpuop timer interface -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1752350 Title: Bionic x86_64 Linux Kernel 4.15 fails to boot on Xen To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1752350/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
