I spent some time today writing a simple "BlinkyLEDs" program to demonstrate how to use our template project. I spent a few frustrating hours trying to determine why the LEDs wouldn't light up. It turns out that you must enable the clock to the GPIO peripheral before initializing the pins.
I should have a writeup on this project by the end of the week. It probably won't happen tonight.