Finomnis

What this panic indicates is that the monotonic realizes it is not in the state it expected to be in, so it is in an unknown state and is most...

Of course I don't rule out a programming error on our side, but so far I didn't find one.

Is that so? It should be configured as the highest possible priority. If that's not the case, then this is most certainly a bug. Are you able to create a...

Which would be the correct way to determine that?

Should we do this? ```rust let max_prio = (1

Are you sure you are not using long-running critical sections? That would cause that as well.

I hope we find it ... monotonics are one of the most critical subsystems of an RTOS :D You will make me very happy if you find it ;) I...

We could add two atomic counters to see how often both interrupts happend, so we can see if we actually missed one or if the error is somewhere else. Also,...

@govert-overgaauw-ampel > This snippet is from my tim20 monotonic implementation Feel free to add that timer to `stm32.rs` in `rtic-monotonics`. I'm not sure who decided which timer is implemented and...

`enable_timer` and `disable_timer` are simply for energy saving. If those have a race condition with the interrupt firing, just make them both empty. Does that fix your problem? Of course...