-
hreintke authored
Since FreeRTOS has real tasks and mutexes with support for priority bumping, actually always try and take a `CoreMutex` instead of seeing if someone else already has it and aborting immediately. This fix helps ensure things like Serial output in a multi-task system won't get lost.
db4f7944