More useful filenames would be those the embeded the EFI architecute tag. For example see grub:
http://archive.ubuntu.com/ubuntu/dists/jammy/main/uefi/grub2-amd64/current/ http://ports.ubuntu.com/dists/jammy/main/uefi/grub2-arm64/current/ The amd64 one is called grubx64.efi and for arm64 it is called grubaa64.efi Similarly there are EFI architecture tags for all other arches (riscv64, i386, etc) I also feel like we had to fix this before, it seems like it is not the first time that we have accidentally shipped X64 EFI binaries for AA64 EFI arch. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1890230 Title: arm64 ipxe package isn't an arm64 build To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ipxe/+bug/1890230/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs