Example written in C demonstrating the use of kernel GPIO interrupts with jitter filtering