Basic questions about timers omapl137 and sysbios?

Hopefully this does not snowball too long but I have some basic questions about using timers in sysbios with the omapl137 that I can't figure out from the documentation: sysbios manual and omapl137 technical reference. spruex3q and spruh92d

1. Is sysbios using 1 of the 2 timers of the omapl137? I think the answer is yes but I'm not 100% sure.
2. Most of the xdc configuration for timers, in the app.cfg, is in us resolution or counts? Should I control the timer using period in counts if I need less than ms or can I specified fractional ms?
3. Is count driven by the CPU clock directly or is there some division? In the technical reference I get the impression that count could be drive by the internal clock directly, which then referring to the PLL section looks like the count is driver directly from SYSCLK1.

The timers can be use to Output and Event (TM64P_OUT12) and trigger a DMA. I would like to use the timers in 32 bit mode unchained, one for the out event and one for the DMA. (this is to control the timing of an SPI ADC at 600 KHz)

1. My first worry, is that, if I'm using sysbios I can't do this since 1 timer is already taken and the omapl137 only has 2 timers.
2. I did not see support in the app.cfg to perform these two task (DMA and out event), is it supported or do I need to configure it outside the app.cfg?