Ive got 2 X540-T2 10gb NICs. neen having a brief read and it appears that 2.5gb RealTek NICs aren’t supported (or at least not very well).
They are geniune Intel cards, tested and working and seemingly the non-OS specific drivers i just downloaded included FreeBSD drivers as well.
These should work with CORE right???