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. cheers, Kornilios. -- Kornilios Kourtis