Bug#524756: please provide a 64bit grub-efi for the i386 distribution

[Julien BLACHE]

A Mennucc <debdev at tonelli.sns.it> wrote:

> IMHO instead amd64 is to be preferred, since it is the official 
> Debian name for that kind of architecture, and there are already many 
> packages in Debian that contain 'amd64' in their name

Except we're not talking about binaries running on the system but
binaries running in the EFI environment. And that platform in that
environment is named x64.

JB.

-- 
 Julien BLACHE - Debian & GNU/Linux Developer - <jblache at debian.org> 
 
 Public key available on <http://www.jblache.org> - KeyID: F5D6 5169 
 GPG Fingerprint : 935A 79F1 C8B3 3521 FD62 7CC7 CD61 4FD7 F5D6 5169