From mboxrd@z Thu Jan  1 00:00:00 1970
From: LABBE Corentin <clabbe@baylibre.com>
Date: Thu, 16 Jan 2020 10:45:05 +0100
Subject: [PATCH 0/3] Ethernet support for Raspberry Pi 4
Message-ID: <20200116094505.GA18077@Red>
List-Id: <u-boot.lists.denx.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
To: u-boot@lists.denx.de

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@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