Re: how to debug fiasco kernel
Martin Unzner <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers