https://lists.rtems.org/pipermail/devel/2016-July/015554.html The SMP implementation turned out to be a bit more complicated. In addition the test smptests/smpmutex02 revealed that the deadlock detection is essential to avoid application caused deadlocks at SMP lock level.