[FEATURE] RPi 4B Ethernet networking

[linguini1]

Is your feature request related to a problem? Please describe.

There is currently no Ethernet networking support for the RPi 4B.

Describe the solution you'd like

I would like Ethernet networking support to be implemented for the Pi 4B so that users can use all of the NuttX networking stack on this device.

Describe alternatives you've considered

No response

Verification

• I have verified before submitting the report.

[linguini1]

Device tree files:
https://github.com/raspberrypi/linux/blob/rpi-6.18.y/arch/arm/boot/dts/broadcom/bcm2711-rpi-4-b.dts

Genet driver:
https://github.com/raspberrypi/linux/blob/rpi-5.4.y/drivers/net/ethernet/broadcom/genet/bcmgenet.c
https://github.com/raspberrypi/linux/blob/rpi-6.18.y/drivers/net/ethernet/broadcom/genet/bcmgenet.h

Was mentioned at https://forums.raspberrypi.com/viewtopic.php?t=294815

[linguini1]

Ethernet transceiver: BCM54213PE

https://www.broadcom.com/products/ethernet-connectivity/phy-and-poe/copper/gigabit/bcm54213pe?source=post_page---------------------------

[linguini1]

OpenBSD: https://github.com/openbsd/src/blob/master/sys/dev/ic/bcmgenet.c
U-boot: https://github.com/u-boot/u-boot/blob/master/drivers/net/bcmgenet.c

[linguini1]

What looks to be a mostly AI-generated version of the driver for Zephyr: zephyrproject-rtos/zephyr@fc2b034