On Tue, 17 Nov 2020, Jason Gunthorpe wrote: > If it really doesn't work at all any more we should delete it from > rdma-core if nobody is interested to fix it. > > Haakon and Mark had stepped up to maintain it a while ago because they > were using it internally, so I'm surprised to hear it is broken. Oh great. I did not know. Will work with them to get things sorted out.