Hi David, You're right, this appears to be well-known issue with xen, e.g. see also LP: #1854575; you already seem familiar with workarounds, and sounds like you've already resolved the problem for yourself. So rather than dupe this bug to one of those, this report can focus on the wishlist request for better packaging to handle kernel upgrades with xen.
With Ubuntu 20.04, xen has moved from Ubuntu main to universe for maintenance/support. Because of this, we should look more towards Debian for a solution to this. Can you please file a bug report about this issue with Debian? Let us know the URL of the bug report, and we'll link this one to that so we can follow discussions and evaluate backporting the fix if/when one becomes available. Thanks ahead of time! ** Changed in: xen (Ubuntu) Importance: Undecided => Wishlist -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1974262 Title: Ubuntu 20.04 Xen Dom0 Cannot Boot To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xen/+bug/1974262/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs