Michael Brown

Do you have any queries or requested changes? Would it help if I opened an issue to report the original bug that is fixed by this patch? Thanks, Michael

What do you see as the filesystem contents of `sdcard.img`?

> I've found the follwing issue. In the Makefile > > https://github.com/ipxe/pipxe/blob/a93262af3661191a9ff19b61f773d109a7c33e8e/Makefile#L1 > > there is a url to load the firmware -> https://github.com/raspberrypi/firmware/branches/stable/boot > If you browse this url,...

> 3. Replace the file /efi/boot/bootaa64.efi with the one of step 1) > and et voilá it works, ipxe is running with the tweak Interesting. The prebuilt SD card should...

You have several components in the SD card image: * The iPXE image at `/efi/boot/bootaa64.efi` * The EDK2 firmware image at `/RPI_EFI.fd` * The configuration files `config.txt` * The VC4...

I've used piPXE for headless boot before (on a Pi 3B+), so it definitely is capable of working. The console output in piPXE is entirely via the UEFI firmware's `EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL`...

@andreiw Thanks for the invitation. I've been meaning to reply to this for months, but am only now getting around to dealing with the insane e-mail backlog I allowed to...

You could try using https://ipxe.org/howto/bisect to identify the commit that first exhibits the problem.

What are the PCI vendor:device IDs for this NIC?

@loood Thanks for confirming the IDs and version. Could you please try building with `DEBUG=intelxl:3` and report the complete output that you get?