Fast GPIO, PWM, servo control, state change notification, and interrupt handling on the Raspberry Pi