Hi,
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.
----------------------------------------------------
vi kernel/fiasco/build/Makefile
...
CFLAGS += -g CPPFLAGS += -g SFLAGS += -g ...
-----------------------------------------------------
after make, fiasco.image has no debugging information.
and also I try this flags. no change.
----------------------------------------------------
vi kernel/fiasco/build/Makefile
..
CARCHFLAGS_arm += -g
CPPARCHFLAGS_arm += -g ASFLAGS_arm += -g ...
-----------------------------------------------------
So I try to roottask(l4env).
I put this flags in config file.
----------------------------------------------------
vi l4/mk/modes.inc
...
CARCHFLAGS_arm += -g
CPPARCHFLAGS_arm += -g ASFLAGS_arm += -g ... -----------------------------------------------------
after make, roottask has a debugging information.
How can I get fiasco.image with debugging information?
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
l4-hackers@os.inf.tu-dresden.de