in modern PC based Linux Machines it is possible to use hpet and realtime processes to get a reasonable good realtime performance (+-10us response time)
While Raspberry Pi Hardware does not have a hpet device, it does have Hardware PWM.
Thus it would likely be possible to use the Hardware PWN as a Realtime source by connecting its output to another interrupt driven GPIO input.
I was now wondering if this connection could also be done by Software using a device tree overwrite.
