index cf194686bd43a596d8fe8e091840aae72e2c033f..c65ead05fed88672d0be5fd6ad7b4cd942b9c8de 100644 (file)
/* ----------------------------- TICK ---------------------------------------*/
var Clock = xdc.useModule('ti.sysbios.knl.Clock');
Clock.tickSource = Clock.TickSource_USER;
/* ----------------------------- TICK ---------------------------------------*/
var Clock = xdc.useModule('ti.sysbios.knl.Clock');
Clock.tickSource = Clock.TickSource_USER;
-/* Configure GPTimer3 as BIOS clock source */
-Clock.timerId = 2;
+/* Configure GPTimer11 as BIOS clock source */
+Clock.timerId = 10;
var Timer = xdc.useModule('ti.sysbios.timers.dmtimer.Timer');
var timerParams = new Timer.Params();
var Timer = xdc.useModule('ti.sysbios.timers.dmtimer.Timer');
var timerParams = new Timer.Params();