It is a simple RTDM module (designed on Xenomai 2.6.2.1) to maintain PWM signal using gptimers for interrupts and gpio for signal value changes. Forked from JustinGriggs/Pandaboard-PWM.