Michael Schaeuble 5abee359d6 Remove PPS GPIO interrupt when the rate is higher than 20Hz
If the PPS GPIO is exposed to a signal with high frequency changes, a lot of
interrupts are scheduled and the handling of these calls can worst-case
starve flight critical processes leading to a loss of
control. Since PPS is not flight critical, we now give up the PPS
functionality and stop the interrupts to prevent the starvation of other processes.
2022-07-04 11:32:33 +02:00
..
2021-10-19 13:29:26 -04:00
2022-06-16 16:14:57 -04:00
2021-09-25 19:15:05 -04:00
2020-07-29 13:36:22 -04:00
2021-11-30 15:59:08 -05:00