POSIX timers were triggering too fast. This was caused by incorrect CLOCK_TICK_RATE for 32KHz timer.
Attach a file by drag & drop or click to upload
