On 4/24/15 8:23 PM, Wookey wrote:
Typing configfile /debian-installer/arm64/grub/grub.cfg nor /debian-installer/arm64/grub/arm64-efi/grub.cfgAt the grub prompt you should be able to get into the menu by typing configfile /boot/grub/grub.cfg (assuming that there is a grub.cfg file somewhere it can see - change the path if need be)
worked. I just see a new prompt at the top.