I'm have switched the kernel to use timer 2 as its base timer (im on OMAPL138 and DSP is using timer 0 and timer 1). However, since i have done that, when i use the command sleep, it comes out longer than expected. Example sleep(10) lasts exactly 15 seconds.
I imagine the timer configuration is wrong, but I don't know where to fix this in the kernel source.