I want to use a sysbios timer to provide a periodic call to a function, from which I will post a semaphore to awaken a thread that needs to execute every 20ms. All this seems quite reasonable, but I need to avoid certain physical timers that are being used in the (Tiva TM4C1231) system for PWMs.
Is it possible to tell what timer will be allocated for a give sysbios timer number? Or failing that, can I instruct sysbios to avoid some timers?