Fiasco.image with debugging information

[김광식]

 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?


 


 


  





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20061014/fab726c7/attachment.html>