Useful for anyone using FreeBSD with one of the 10GbE chipsets, as commonly found in minipcs these days.

This driver seems to be working well for people. :)