> Either that or udev in not configured properly.
Debian has a correct udev configuration, modulo
> ib_core/mthca/mlx4 should be loaded automatically by hotplug if HW is
> present. No need for any additional configuration.
Yes (although only mlx4_core and not mlx4_ib will be loaded based on PCI
IDs), but nothing loads ib_uverbs automatically, and systems that have
no RDMA hardware will obviously not have any RDMA drivers autoloaded.