[Barrelfish-users] Debugging Barrelfish

[barrelfish-essentia at snkmail.com]

Hi all,

I'd like to know if there are instructions on how to debug BF.
I've heard there that it's possible using GDB, at least on QEMU and real hardware.
And while we're at it, if it's possible, is it also possible to load symbols for BF to work with symbolic debugging?

Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120530/a926170a/attachment.html