Bug#842617: Please also ship systemd-boot on arm64

[Julian Andres Klode]

On 30 October 2016 at 22:05, Alexander Kurtz <alexander at kurtz.be> wrote:
> On Sun, 2016-10-30 at 22:45 +0200, Martin Pitt wrote:
>> But indeed gnu-efi does exist on arm64 in testing/unstable now, so I
>> added it
>
> Thanks a lot for your quick reply! You might want to consider also
> adding "armhf" to that list, since both gnu-efi [0] and u-boot-rpi [1]
> are also available there (in contrast to "armel" where gnu-efi is
> missing).
>

Yes, (JFTR) armel is missing some assembly stuff used by gnu-efi, see:

ttps://buildd.debian.org/status/fetch.php?pkg=gnu-efi&arch=armel&ver=3.0.2-1&stamp=1431473135

-- 
Julian Andres Klode  - Debian Developer, Ubuntu Member

See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/.