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?