Fiasco.image with debugging information

Adam Lackorzynski adam at
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

More information about the l4-hackers mailing list