This is an example of how to use hardware PWM on a Tiva C Launchpad board