Hi Steve
The TimerConfigure API is from the Tivaware Peripheral Driver Library, which I used to get the basic of my application to work previously, without BIOS. The purpose is to configure the Timers operating mode. I reused this, but hadn't considered that it may conflict with RTOS settings.
I would like to try importing and building from the GPIO example.
I won't be able to concentrate on my application until later this week, but I plan to try the GPIO suggestion, and report how this works for me.
Thank you
Dale