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

Timothy Roscoe troscoe at inf.ethz.ch
Wed Jun 14 09:56:16 CEST 2017

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

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

More information about the Barrelfish-users mailing list