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
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to