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): https://edk2.groups.io/g/devel/message/119118
Mute This Topic: https://groups.io/mt/102851815/7686176
Group Owner: devel+owner@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [rebecca@openfw.io]
-=-=-=-=-=-=-=-=-=-=-=-