Comment 9 for bug 1789118

Revision history for this message
Andy Smith (grifferz) wrote :

I reported the problem to Xen, and they came up with this patch:

https://lists.xenproject.org/archives/html/xen-devel/2018-08/msg02775.html

I recompiled linux-image-4.15.0-33-generic with this patch applied and it now works.

As far as I can see there is no working 32-bit Xen PV kernel package in 18.04, so it would be good if this could be remedied. What needs to happen for that? Does the above fix need to reach the upstream kernel and then be considered for backport?