Linux runtime: overrun detection for real-time timers and for plc execution.

2023-03-01, Edouard Tisserant