[PATCH 0/3] Ethernet support for Raspberry Pi 4

[LABBE Corentin]

Hello

I have successfully used your patch to obtain an IP via DHCP and download kernel/dtb/ramdisk via tftp.
Tested-by: Corentin Labbe <clabbe at baylibre.com>

But I still fail to boot any kernel (mainline/rpi-5.4/rpi-4.19).
But this is irrelevant with your serie, since the same kernel is not bootable also via "load mmc 0:1 xxxx" but it is via the RPI bootloader.
So it is probably uboot's fault.

Thanks
Regards