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.

  Bionic x86_64 Linux Kernel 4.15 fails to boot on Xen

To manage notifications about this bug go to:

ubuntu-bugs mailing list

Reply via email to