TSK_sleep is not returning - evm 5515

Hi all,

I am debugging very simple application  with evm 5515 - two tasks - the same priority in the same form:

while (1)

{

printf ("something");

TSK_sleep (1000);

}

Unfortunately, I see that each task is running only once - I suppose that TSK_sleep is not returning.

Possible reason - timer is not running - where can I check this?

Thanks in advance