Raspberry PI 4 and U-boot

Is there U-Boot with Ethernet available in U-Boot for the Raspberry PI 4? If not is u-boot without Ethernet available for the Raspberry Pi 4, and and interface spec available for the and Pi 4 Ethernet driver?

I have read that the Ethernet  driver for the Pi 4 is different from the PI 3. Thanks

Duncan Hare

714 931 7952