carta

rdma_set_option(3) on Linux

The text 63b858fc59f6, as Debian 9 (Stretch) shipped it.

Set communication options for an rdma_cm_id.

rdma_set_option(3) on Linux now