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? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1789118 Title: Fails to boot under Xen PV: BUG: unable to handle kernel paging request at edc21fd9 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1789118/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs