Hi Stephen,
The TM4C1294NCPDT (device on TM4C129XL launchpad) and the TM4C123GH6PMI (device on TM4C123GXL launchpad) operate at two different frequencies and actually have two different clock trees, each with its own set of APIs (SysCtlClockSet vs. SysCtlClockFreqSet). You can find simplified clock diagrams in Chapter 5 of each respective datasheet.
I am glad to hear you are stepping through the Kernel Workshop labs, but since you are using a device other than specified you will need to "patch" the code to work on the TM4C129XL. In this case, use code that resembles TM4C129x device examples.
[quote user="Stephen Keng"]
Also, does the following error below affect me?
http://e2e.ti.com/support/microcontrollers/tiva_arm/f/908/p/330524/1156581.aspx#1156581
[/quote]
I am not sure if the TM4C129x line of devices also are affected by the error, posting this on the TIvaC forum (here) are better prepared to answer this question. On a better note, SYS/BIOS does not rely on TivaWare APIs to configure clocks. As you move further on in the training, you should learn how to have SYS/BIOS do it for you.
Thanks,
-- Emmanuel