Re: Some questions about UEFI

Elena WILLIS <elena.willis@...>

Hi Leif and Pete,

My answers in blue.

Best regards,


-----Original Message-----
From: Leif Lindholm <leif.lindholm@...>
Sent: vendredi 19 juillet 2019 11:11
To:; Elena WILLIS <elena.willis@...>
Cc: Pete Batard <pete@...>
Subject: Re: [edk2-discuss] Some questions about UEFI

Hi Elena, (+cc Pete)

On Thu, Jul 18, 2019 at 11:54:38AM +0000, Elena WILLIS wrote:

I am using EDK2 on a Raspberry PI 3B model.
Installation went fine and I can access the UEFI Shell interface, where the commands work.
But I'm now stuck and have a few questions :
- Do you have a simple .efi script that I could use to test
- my setup ?

.efi indicated an application (or driver), as opposed to a script.

My go-to test case is a standalone GRUB executable.

Generated with grub-mkstandalone -O arm64-efi -o grubstand.efi

Ok I will try this, thank you !

- Once I am on the UEFI interface, I can't seem to boot
- back onto my OS (Raspbian). Could you please explain how
- to do this?

Does 'exit' bring you back to a "BIOS" menu system where you can select boot options?

Yes, it does, but from there I can't get back onto my OS either. :(

Best Regards,


Join { to automatically receive all group messages.