Priority in FreeRTOS

That is correct, and again, it is worth mentioning that the support for priority inheritance is very closely related to the concept of ownership, which is unique to muteces.