Very slow kernel/initrd download (RPI + U-boot)

[NiKiZe]

(2019-09-19 23:51)ljfranklin Wrote:  Temporarily added Linux to the SD card to run `lsusb`. It shows: "ID 0424:7800 Standard Microsystems Corp." and dmesg has some lines that mention the lan78xx driver.

Only the ID is interesting to verify that there is a driver, and it is: https://git.ipxe.org/ipxe.git/blob/41a9a...8xx.c#l384

Ah ... there is a named config in iPXE for the Pi: https://git.ipxe.org/ipxe.git/tree/HEAD:/src/config/rpi

Build using CONFIG=rpi as described in https://ipxe.org/appnote/named_config
That should make sure that the correct usb drivers is (not) available.

And with that I think that you will only want lan78xx.efi (sorry for all the other noise in the thread)