To compile and install FreeBSD 10.0 stable/release kernel with MLNX drivers:
1. To have full OFED driver (both Infiniband and Ethernet) add the following options/devices to kernel configuration file:
options OFED
options IPOIB_CM
device ipoib
device mlx4ib
device mlxen
2. To have only mlxen (Ethernet only) please add the following options/devices to kernel configuration file:
options OFED
device mlxen
3. In both cases please make sure the following debug options are disabled:
DEADLKRES
INVARIANTS
WITNESS