Re: [PATCH v3 09/14] sched: Split scheduler execution context
From: Peter Zijlstra
Date: Sat Apr 22 2023 - 06:14:40 EST
On Tue, Apr 11, 2023 at 04:25:06AM +0000, John Stultz wrote:
> + /*
> + * XXX how does (proxy exec) mutexes and RT_mutexes work together?!
> + */
They don't, if PE works we can delete all of rt-mutex.