Hi all!
The Chapter 4 video on "Getting started with Stellaris Launchpad" workshop suggested that one should try out the PWM features of the Launchpad. It turned out to be easier said than done. After some 8 hours of trial and error, and googling around, I was able to get it working. So I decided to write an easy-to-follow tutorial for it:
http://codeandlife.com/2012/10/30/stellaris-launchpad-pwm-tutorial/
Hope it helps people new to the Launchpad! I haven't yet gotten the timer interrupts working with PWM, if anyone has suggestions for that, I'd be interested to know (once I enabled timer interrupts, PWM stopped working...).
Joonas