Re: XDP socket rings, and LKMM litmus tests

[maranget]

> On 3 Mar 2021, at 18:37, maranget <luc.maran...@inria.fr> wrote:
> 
> I have made a PR to herd7 that performs the change. The commit message states 
> the new definition.

For those who are interested
<https://github.com/herd/herdtools7/pull/183>

—Luc