I am trying to figure out the purpose of the following bit of code in the LM3S811 example:
portEND_SWITCHING_ISR( xHigherPriorityTaskWoken );
It occurs right after giving the semaphore. I expected to find this documentation under the ‘FreeRTOS MPU Specific’ area but no joy. I have omitted it in my application and all seems well… not that this means a whole lot.