Profiling microC application

Hi,

I've written a MicroC application that uses iniche stack,
due to performance issues I need to profile it.

I've read AN391 (http://www.altera.com/literature/an/an391.pdf) and was able to use the profiler on a non microC application.
when I've tried to use it on a microC application no gmon.out file was generated.

AN391 state that the 'main' function must return, but 'OsStart' never returns.

Is there a way to profile it?

thanks!