If someone got interest for this,
I made a blogpost on this patch, it can be found here https://blog.izissise.net/posts/edk2boot0000/

On Sun, Nov 26, 2023 at 10:54 PM Hugues Morisset <morisset.hugues@gmail.com> wrote:
Hello,

I wrote a patch that make it possible to set Boot0000 at build time using a pcd.

For example with build option `--pcd=gEfiMdeModulePkgTokenSpaceGuid.PcdPlatformBootBoot0000=Lshell.efi`, I can make sure that efi shell will boot first for a newly build firmware image.

Thanks,
Hugues
_._,_._,_
Groups.io Links:

You receive all messages sent to this group.

View/Reply Online (#119118) | | Mute This Topic | New Topic
Your Subscription | Contact Group Owner | Unsubscribe [rebecca@openfw.io]

_._,_._,_