This patch may help your issue with the default kernel setting on Fedora
30 as it uses the setting of saved_entry or next_entry from the grubenv
file to choose the default kernel which should override any setting picked
up from if clauses in the grub.cfg file.
I have only done limited and somewhat imperfect testing on it and isn't a
proper fix (which would use grubenv settings based on what is in the if
clauses) but I think it should work in your case.
Michael Young
_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel
