[Barrelfish-users] Debugging Barrelfish

[Stefan Kästle]

debugsim is a make target. It is defined in hake/symbolic_targets.mk
Just execute "make debugsim" instead of "make sim"

On 05/30/2012 08:47 PM, Patrik Eklöf wrote:
> 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
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users