As the subject says, I would like to "resume from isr" and "yield from isr" in my pic24 code to wake-up a high-priority thread. But taskYIELD_FROM_ISR seems to not be in this port.
Am I out of luck? (or simply dumb? – wouldn’t be the first time, ask my wife…)