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. :)

10GBe cards with these start at $55 on Amazon.