On Mon, Sep 05, 2016 at 03:48:02PM +0300, Leon Romanovsky wrote: > > Folks can decide how much of this stuff should go on into the main > > repository later on.. > > I completely missed that tooling branch. It looks like it misses the > Debian image. Only 'make' works for Debian. There is no .deb packaging yet. Jason -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html