Subject: [PATCH] gnu: Add psm.
From: Dave Love <[email-masked]>
To: [email-masked]
Date: Mon, 6 Nov 2017 17:16:25 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

There probably aren't a lot of sites for which this hardware support is
relevant, but it's easy to provide.  Arguably it should go in rdma-core
on the same basis as the OFED support for other hardware.