how to debug fiasco kernel

Martin Unzner munzner at
Mon Apr 1 20:26:46 CEST 2013

Hi Jimmy,

you mention bochsdbg, so maybe you want to use the Bochs GDB stub? 
tells you how to do so. Using GDB, you can debug all kinds of programs 
on source code level.



Am 01.04.2013 11:41, schrieb Keqin Sun:
> 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
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

More information about the l4-hackers mailing list