On Mon, 31 Oct 2016 07:46:13 +0200 Martin Pitt <mp...@debian.org> wrote: > Alexander Kurtz [2016-10-30 22:05 +0100]: > > 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). > > I know that arm64 EFI boot works (Canonical uses it in their internal > OpenStack deployment), but as far as I know there is no existing > armhf EFI implementation; so this would mean to ship dead bits. Or are > you aware of any platform where this could actually be tested?
Martin, do you still have concerns regarding enabling gnu-efi support for armhf? Personally I don't have any experience in that regard, all I can say is that we apparently ship https://packages.debian.org/sid/armhf/grub-efi-arm (with a popcon count of 0 :-o ) Regards, Michael -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
signature.asc
Description: OpenPGP digital signature