On Fri, 2015-02-27 at 17:57 +0100, Sebastian Andrzej Siewior wrote:
> This patch makes it possible to replace the base mutex by a rt_mutex. In
> general one would not do this.
I would argue that the thing should be born as a full fledged primitive,
not a config option, as an rt_ww_mutex is the ww extension of rt_mutex.
We have to do the global substitution in -rt, but why should it not
exist in its own right in mainline?
-Mike
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
