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

Reply via email to