device driver for the mPWM for the m4 microcontroller.