[Barrelfish-users] Debugging Barrelfish

[Patrik Eklöf]

Thanks.
Do you know where I might find this debugsim file?
A quick search turned up nothing.

________________________________________
From: Simon Peter speter-at-inf.ethz.ch |barrelfish-essentia| [m19e9bllct at sneakemail.com]
Sent: Wednesday, May 30, 2012 17:27
To: Patrik Eklöf; barrelfish-essentia at snkmail.com
Cc: barrelfish-users at lists.inf.ethz.ch
Subject: Re: [Barrelfish-users] Debugging Barrelfish

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