In testing the timers on the dongle, I have made a GPIO pin be controlled by the timer triggering.
So the following has a constant time between edges:
While this does not:
Am I understanding the GPIO library incorrectly? The first piece of code generates a 50ms pulse between edges, while the second one produces a varying width pulse between each impulse.