DSP/BIOS 6 timer/tick setup

I am using OMAP-L138 EVM with CCS4 trying to evaluate DSP/BIOS 6 on the DSP core and Linux on the ARM core.  I am using the builtin XDS100 for debugging.  I don't have any issues w/ the Linux side, but the BIOS timing seems way off.  I wrote a basic "blinky" app in a BIOS task to blink the LEDS.  I set a certain pattern, use the Task_sleep() function, then update the pattern.  The trouble is that everything is SLOW.  I have the tick configured to be 1000 us, so Task_sleep(1000) should be a 1 s delay but instead it's ~ 130 s.  Task_sleep(10) should be 10 ms but it's > 1 s.  The really crazy thing is that if I type in commands to the ARM core running Linux through the serial port it speeds up considerably!  I can see the 1 s blink pattern go noticeably faster.  I've tried changing the DSP/BIOS configuration ti.sysbios.knl.Clock.timerID (default is -1, I've tried 0, 1, and 2 with no change).  I also tried changing the ti.sysbios.knl.Clock.tickPeriod  (default is 1000 us, I tried 10) and saw no difference.  Where the heck is the tick coming from?  I have ti.sysbios.knl.Clock.tickSource set to the default, TickSource_TIMER.