how to debug fiasco kernel

[Martin Unzner]

Hi Jimmy,

you mention bochsdbg, so maybe you want to use the Bochs GDB stub? 
http://bochs.sourceforge.net/doc/docbook/user/debugging-with-gdb.html 
tells you how to do so. Using GDB, you can debug all kinds of programs 
on source code level.

Regards!

Martin

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 os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers