On Wed, Oct 21, 2020 at 05:49:38PM +0100, Robert Swindells wrote: > > Is there any way we can make progress with getting futexes to work > properly ? > > At least post the latest non-working source somewhere so that people can > try debugging it. > I am under the impression they are committed.