Hi Balwant,
I reviewed the gel file you shared but could not find any Timer Clock enable code. I am guessing either your app is enabling the timers or if you are using a bootloader, it is doing it.
Coming to the question of Timer frequencies. I dont see any code selecting the timer clocks either.
You can determine the Timer clock that is being selected by looking at the following registers:
Timer2 - 0x44E00508
Timer3 - 0x44E0050C
Timer4 - 0x44E00510
Timer5 - 0x44E00518
Timer6 - 0x44E0051C
Timer7 - 0x44E00504
(DMTimer module supports timer 2-7)
If the register reads 0x1 then the timer is connected to the 24MHz clock and if it reads 0x2 it is using 32KHz clock. The default value of the register is 0x1 implying the timers are connected to 24MHz clock. I am guessing that since the gel script is not configuring these registers, they have the default value of 0x1.
Once you confirm the timer clock rate is 24MHz, add the following code to your *.cfg file and everything should work:
var Timer = xdc.useModule('ti.sysbios.timers.dmtimer.Timer');
Timer.intFreq.lo = 24000000;
Timer.intFreq.hi = 0;
Best,
Ashish