[Barrelfish-users] Debugging Barrelfish in Qemu with the GDB

Kornilios Kourtis kornilios.kourtis at inf.ethz.ch
Thu Jul 5 10:16:37 CEST 2012

Hi Daniel,

On Thu, Jul 05, 2012 at 09:52:15AM +0200, Daniel Röhrig wrote:
> Hey guys,
> just a quick question: How do I compile barrelfish with debugging 
> symbols so that I can debug it with qemu?

You can try running 'make debugsim' in the build directory.


Kornilios Kourtis

More information about the Barrelfish-users mailing list