I put the Ethernet driver for the Raspberry Pi 4B into Phabricator for review, https://reviews.freebsd.org/D24436. Anyone who wants to test it can download the driver from there. I'm interested in any feedback. Thanks, Mike