Sebastian Huber wrote: > On 2013-08-21 13:39, Joel Sherrill wrote: >> I know. Any thoughts on how to account for the extra mutex? > > My last status is that Chris works on this issue. > I am and have a patch that was derailed by fixing the SMP support in OpenOCD for ARM CortexA9s. Chris