File format question regarding to Debugging.

["Qiang Huang" <jameshq at liverpool dot ac dot uk>]

Hi all:
    I build the ecos application and want to debug it by using the Insight
debugger, when Insight is launched the source code for the program can be
seen (not only the user program also include the ecos library C, C++ source
code), Are those source codes included into the file genernated by using the
arm-elf-gcc -g -I/e7t/e7t_install/include
hello.c -L/e7t/e7t_install/lib -Ttarget.ld -nostdlib -->  a.out file output?
if the source codes not included into a.out how can we still be able to see
the source in Insight without the ecos repository tree installed on the
computer?  ( I guess the source code will be covert to some format and
included into the generated file a.out is this correct? if no how does it
work?) Thanks a lot.