-----Original Message-----
From: Leif Lindholm <leif.lindholm@...>
Sent: vendredi 19 juillet 2019 11:11
To: discuss@edk2.groups.io; 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 https://github.com/tianocore/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,



Leif