I’m using FreeRTOS 10.0.1 with Infineon DAVE.
All the FreeRTOS docs seem to point to the use taskYIELD_FROM_ISR
I saw a bug report : https://sourceforge.net/p/freertos/bugs/198/
But I can’t tell if the way forward is port… or task…
Which is it?
My apologies. I think, after looking at so many old postings taskYield_FROM_ISR was in the documentation. It still is hard to find in the documentation, but …