how to debug fiasco kernel

Keqin Sun keqin at
Mon Apr 1 11:41:21 CEST 2013

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
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

More information about the l4-hackers mailing list