In case you aren't a junkie doing bk pulls every 15 minutes, I'm extremely happy to say that Linus's tree now contains a drivers/infiniband directory! - R.