how to debug fiasco kernel

"Keqin Sun" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
Hi,
I have two questions about how to debug fiasco kernel.
a) Are there any debugging tools? For example, I can use bochsdbg to debug linux
kernel.
b) It is difficult for me to debug applications or kernel using JDB because the JDB
shows lots of memory address rather than source code. what shall I do if I want more
source code information when I debug.

Best regards,
Jimmy Sun
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.