On Thu, Oct 06, 2022 at 11:59:31AM +0200, Juri Lelli wrote:> I think another fundamental question I'm not sure we spent much time on> yet is how to deal with rtmutexes.Delete them ;-) If PE works, they have no value left.