Issue with my port? Thread priority broken?

vespaman2 wrote on Tuesday, September 11, 2012:

Richard,

Thank you very much for this excellent explanation! It all makes sense, and I re-wrote my code to use binary semaphores instead, as I already had my test bench up.
And:- Binary semaphore works just fine - should probably have used binary semaphore from the start. Not sure why I created using mutex rather than binary semaphores (This was two year or so ago), but reading the API documentation again, I should have tested this myself. I guess I was too focused in trying to find a problem with my port and/or my own code…

Many thanks,
  Micael