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.