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