1

Upon setting up a new MinnowBoard Max with a stock Debian install, I get the error Boot Failed. EFI Misc Device at boot. Searching all over the nets yield little help.

I can start the system fine by waiting for the EFI Shell to start and invoking the grub EFI binary myself: EFI/debian/grubx64.efi

I finally did find a solution, but I'm not totally happy with it, and I'm open to advice on better ways of handling it.

1 Answer 1

1

The solution, which came from the Arch Linux Wiki, is that some EFI Firmwares, apparently including the MinnowBoardMax Firmware, only look for the boot EFI executable at /EFI/BOOT/BOOTX64.EFI.

Copying the grubx64.efi file to the above path fixes the boot issue.

3
  • /EFI/BOOT/BOOTX64.EFI is the standard EFI boot path. But what is a MinnowBoard Max and why have you posted this here? Jan 14, 2016 at 21:42
  • Perhaps you're right, and this should go on the linux stack exchange. I saw some other similar questions here relating to EFI and booting and thought it would be a reasonable place. A MinnowBoard Max is an embedded x86 linux board, but this advice would apply to anyone seeing a similar error with the stock Debian Jessie install that I used. Jan 16, 2016 at 1:11
  • To be clear a minnowboard is a SOC. Its not quite as powerful as some of the ARM SOCs.
    – Jim B
    Jan 16, 2016 at 2:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .