I would like to time the state changes of a GPIO pin (e.g. low for 120us, high for 888us, etc). With a raspberry pi I would use wiringpi2.micros() to do this. What would be the best way (python or c) to do this with an Omega2? Thanks!