The current TI-RTOS Kernel workshop is online (and has videos posted) - but only covers the kernel - and does have labs on the TM4C123 LaunchPad. I have not received my 129x board yet, but when that is available to me (Feb-ish), I will move over to that platform most likely. I am also working on a "driver" workshop which should release in 2Q14 along with the updated kernel labs on the 129x LP.
I did NOT use the TI-RTOS SDK version of the driverlib - just the standard driverlib. I commented in the labs where conflicts occurred between SYS/BIOS and the driverlib code.
The link for the TI-RTOS workshop is here:
http://processors.wiki.ti.com/index.php/TI-RTOS_Workshop
Best Regards,
Eric