Am Samstag, den 24.05.2008, 17:30 +0200 schrieb Manuel Prinz: > Am Donnerstag, den 22.05.2008, 17:18 -0400 schrieb Jeff Squyres: > > Could you check with some of your other Debian maintainers? > > I'm sorry that I can't check that before Monday! I'll let you know > then but I'm not aware of that.
I just checked on a box with no InfiniBand hardware: /dev/infiniband *does not* exist. Loading the IB kernel modules *does not* create the device. I seems like it only exists if the hardware is present. Best regards Manuel