This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

RTX tickless idle documentation bug

The example for tickless idle documented here: https://www.keil.com/pack/doc/CMSIS/RTOS2/html/theory_of_operation.html#TickLess  is missing an important check.

If RTX doesn't actually need to wake back up "after some time", osKernelSuspend returns osWaitForever (0xFFFFFFFF).  In that case you should NOT use the RTC to wake the system up.  Instead letting other interrupts do that job.

The documented example is for MSP32, which is not my platform, but for STM32L4 it looks something like this:

0