[Barrelfish-users] Questions: How to run GDB on Barrelfish (both QEMU and ARM Pandaboard)?

[Timothy Roscoe]

Dear Jingmei,

As you've discovered, the documentation is somewhat out of date...

The target 'debugsim' was part of a file called 'symbolictargets.mk',
which we no longer use - most of what it does has been superceded by
platforms/Hakefile.

The bottom line: build a Makefile for x86_64 (and any other
architecture you care for), and type:

 make help-boot

- and you should see a target listed 'qemu_x86_64_debug', which is
probably what you want.

'make help' lists various handy high-level make targets, and also
tells you what architectures your tree is configured for.

Hope this helps,

 - Mothy

At Tue, 13 Jun 2017 12:46:55 -0400, "Hu, Jingmei" <jingmei_hu at g.harvard.edu> wrote:
> Hello all,
> 
> Currently, I am working on Barrelfish and I was wondering how to run GDB on
> Barrelfish. I tried make debugsim under the directory /barrelfish/build and
> it seems there is no rule to make target 'debugsim'.
> 
> I couldn't find any instruction about how to run GDB on Barrelfish. Can
> anyone help me to run GDB?
> 
> Thanks for your help!
> 
> Best,
> Jingmei
>