xTimerStartFromISR() and xTimerResetFromISR() with tickless idle

Kernel
2

What you are saying makes sense. I’m not shore what to do about it though, other than to document the workaround you suggest.