| acd58620e415 ("sched/rtmutex: Refactor rt_mutex_setprio()") | |
| e96a7705e7d3 ("sched/rtmutex/deadline: Fix a PI crash for deadline tasks") | |
| 2a1c60299406 ("rtmutex: Deboost before waking up the top waiter") | |
| 38bffdac071b ("Merge branch 'sched/core' into locking/core") |