How to debug Fiasco Kernel

[Markus Partheymueller]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Cem,

> 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.

You can enable the serial escape switch (-serial_esc on the kernel
command line) and then enter the kernel debugger by pressing ESC in
minicom. The other possibility is to insert enter_kdebug() statements
in your code where you want to debug something.

Hope that helps,
Markus

> 
> Thanks in advance.
> 
> Sincerely, Cem Akpolat
> 
> 
> 
> _______________________________________________ l4-hackers mailing
> list l4-hackers at os.inf.tu-dresden.de 
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBAgAGBQJUGpulAAoJEEKdXT07x5qCyP4H/3Equ4JYoOSYhZvUyjGnVQxq
IsB5IxYH/6FQL4IQOaE44ExiSf3IxYqdNuhv+2gRf6MGXKiuVL+jfP9Cxt1vf288
mDUzgIpKyDe5BSkSUYnSJbd9BFFuSqq3Mnttver4yAnmWQJlA0dOrxGOoOtvy5Iw
teoctXyQfYWEM3dNxDcQuTntNZ9qfRuizeA4dm88MqgtQD87cIlEW5fZ1k4UshX0
6XBv569fWcbVg/bhuOKkzuuKcuhHYWQ2CGjhwSbWAyhgoTofz7rtW0GQuXYvMiv/
NXycOGkySj96rZdJD7pkaQ/EUO5z8Gl/fmIX9M/k9Xd1pdih+5E2TOuDjUpE5WA=
=aMyT
-----END PGP SIGNATURE-----