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.hug...@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/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
