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 -----------------------------------------------------
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 -----------------------------------------------------
So I try to roottask(l4env). I put this flags in config file. ---------------------------------------------------- vi l4/mk/modes.inc ... CARCHFLAGS_arm += -g CPPARCHFLAGS_arm += -g after make, roottask has a debugging information.
How can I get fiasco.image with debugging information?
|