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: https://www.sesse.net/