How to debug Fiasco Kernel

[cem akpolat]

Dear all,

I was searching how to debug the fiasco kernel through JDB. The following
link gives a good approach how to it through minicom.

http://os.inf.tu-dresden.de/l4env/doc/html/dev-overview/

However, even if I see the messages on the screen, is it possible to
interact with JDB without having an exception? I looked at also the "Fiasco
Kernel Debugger Manual", however, I couldn't figure out how to exactly
interact with JDB. Until now I could only interact with JDB in case of any
exception occurrence.

Thanks in advance.

Sincerely,
Cem Akpolat
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140918/7a81ace9/attachment.html>