Hi Jerome, On Thu, 29 Aug 2024 at 08:04, Simon Glass <[email protected]> wrote: > > On Thu, 29 Aug 2024 at 01:34, Ilias Apalodimas > <[email protected]> wrote: > > > > On Wed, 28 Aug 2024 at 15:10, Jerome Forissier > > <[email protected]> wrote: > > > > > > wget followed by bootefi currently fails as follows: > > > > > > U-Boot> wget 200000 192.168.0.30:helloworld.efi > > > Waiting for Ethernet connection... done. > > > HTTP/1.0 200 OK > > > Packets received 13, Transfer Successful > > > Bytes transferred = 12720 (31b0 hex) > > > U-Boot> bootefi 200000 > > > No UEFI binary known at 200000 > > > U-Boot> > > > > > > Fix the problem by adding the missing efi_set_bootdev() call. > > > > > > Signed-off-by: Jerome Forissier <[email protected]> > > > --- > > > net/wget.c | 4 ++++ > > > 1 file changed, 4 insertions(+) > > OMG the hack never dies. I hope I will someday create a series to tidy this > up.
I'm sorry for that remark, not helpful to collaboration. Regards, Simon
