Comment 8 for bug 1752350

Revision history for this message
Alejandro Mery (amery) wrote :

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