Hacker News Reader

Ethernet is likely a Realtek chipset (on the docking station). Intel does not do Ethernet over USB chipsets.

The Ethernet expansion card uses a Realtek 2.5Gb/s controller with a USB-C connection to the laptop.

This is a fairly new controller that may not have a FreeBSD driver yet.