Fiasco.image with debugging information
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 at os.inf.tu-dresden.de
More information about the l4-hackers