[Barrelfish-users] Debugging Barrelfish

[Simon Peter]

Unfortunately, there is no good documentation on debugging right now, 
but both QEMU and real hardware debugging is supported.

Hardware debugging is implemented for kernel debugging only and hasn't 
been tested in a while. QEMU supports both user-mode and kernel-mode, 
including symbolic debugging.

You can have a look at the debugsim makefile target to see how debugging 
in QEMU works. You can use GDB's add-symbol-file command to add symbol 
information for user-space binaries.

Simon

On 30.05.2012 11:49, barrelfish-essentia at snkmail.com wrote:
> 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.
>
>
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users