I have found that in my enviroment ( omap3530 , C64+ DSP , BIOS 5.33.04, 6.07Tool) all bios calls like SEM_pend(timeout), TSK_sleep(timeout), etc. that requires a timer does not work. In The TCF file timer5 seems to be configured properly. (HWI_INT14 and 1msec resulotion unisg 32k input clk).
I know there are posts on this issue, but it seems i doing everthing right with no sucess...