This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Which timers are reserved by PinMuxCloud?

Other Parts Discussed in Thread: SYSBIOS

Hello,
I learned that the following assignment is valid:
TimerID DMTimer
----------------
0           2
1           3
2           4
3           5
The CloudPinMux utility however assigns pins for timers 4 to 7.
To which DMTimer numbers do they correspond?
Or - to put the question the other way round - which pin would have to be selected by the CloudPinMux utility if DMTimer5 shall be used?
Regards, 
Martin H.