Fiasco.image with debugging information
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Sun Oct 15 19:36:25 CEST 2006
On Sat Oct 14, 2006 at 23:07:43 +0900, ±è±¤½Ä wrote:
> I work with fiasco kernel in arm platform.
>
> I want to debug fiasco kernel with debugging tool.
>
> But, I need to get fiasco kernel object with debuging information.
>
> First I put this flags in Makefile.
>
> How can I get fiasco.image with debugging information?
-g is a default flag, it's always included (see src/Makeconf).
Please check that each object is compiled with -g by looking closely at
the compiler calls (use make V=1 to make them visible if you do not see
them). fiasco.image is indeed the version that should contain debugging
information. How big is that file in your case?
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list