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?