Bug#824349: Bug#824389: grub-efi-arm-bin: the .efi file itself is missing

2016-05-15 Thread Steinar H. Gunderson
On Sun, May 15, 2016 at 12:43:13PM +0200, Steinar H. Gunderson wrote: > I can confirm that if I build the .efi manually, it does indeed work and > boot a working GRUB (given an appropriate device tree already in /boot/dtbs): Sorry, wrong bug number. Please ignore. /* Steinar */ -- Homepage:

Bug#824349: Bug#824389: grub-efi-arm-bin: the .efi file itself is missing

2016-05-15 Thread Steinar H. Gunderson
On Sun, May 15, 2016 at 11:39:39AM +0200, Steinar H. Gunderson wrote: > Debian ships a package “grub-efi-arm-bin” that's supposed to contain an .efi > image (and “grub-efi-arm” that wraps in some /etc/kernel hooks), and U-Boot > is set up to search for it, but all it contains are the GRUB modules