How to debug Fiasco Kernel

cem akpolat <[email protected]> Thu, 18 Sep 2014 10:00:49 +0200

Newsgroups	gmane.comp.micro-kernel.l4.devel
Message-ID	<CAMm5Yqq2sW=uLv2Y3vQSko6kOctqygo40T-6pnTcV2nxzXCYCA@mail.gmail.com>

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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers