[Tinyos-help] Debugging in TMote Sky with GDB and JTAG in Windows

[Tiago Camilo]

Hey List,

Does anyone here have successful debug in TMote Sky with GDB and JTAG in 
Windows?
I went throughout the procedures as explained in 
http://www.moteiv.com/community/Debugging_Tmote_Sky_with_GDB
and also
http://www.eecs.harvard.edu/~mdw/proj/tmote-gdb/
Now I have everything working fine except that the gdb breakpoints are 
now working correctly. When i set a breakpoint using gdb or ddd, in a 
specific line (e.x. break sourceM:20) that line does not correspond to 
the run time line, moreover I even got errors like "No line 89 in file 
"sourceM.nc" when the program have 100 lines.
If i set a break point in a function (e.x. break 'sourceM$Function) it 
will mark a new line that do not correspond to the function line in the 
file. By running the debugger it stops in another line, not the one set 
by me.
When i type
info source
it gives me something like this:
....
Compiled with unknown debugging format
Does not include preprocessor macro info

So my guess is that something wrong in how the program is compiled and 
build the source files. I used several options in compile time, but all 
bring me the same result (e.x. -g, -g3, -O1...)
Does anyone have any idea? Where do i find some solutions for such a 
problem?
How do i compile my application to have debug support from gdb?

Thanks in advance,
Tiago Camilo