found 963962 2.02+dfsg1-20+deb10u2 2.04-10 quit I was going to report I'd never observed this bug, but then I examined the grub.cfg files and I discover they're present. I would tend to rate this as minor, but the original submitter didn't adjust severity.
With 2.04-10 the xen-4.*.config file entries are absent, but entries for both the .efi file and the other are produced. On an aarch64 system the .efi file can be booted by GRUB 2.04. -- (\___(\___(\______ --=> 8-) EHM <=-- ______/)___/)___/) \BS ( | [email protected] PGP 87145445 | ) / \_CS\ | _____ -O #include <stddisclaimer.h> O- _____ | / _/ 8A19\___\_|_/58D2 7E3D DDF4 7BA6 <-PGP-> 41D1 B375 37D0 8714\_|_/___/5445
