[Barrelfish-users] requesting for Help

Timothy Roscoe troscoe at inf.ethz.ch
Tue Mar 6 23:32:47 CET 2018

Dear Ben,

Without details about what OS and versions of compilers, etc. you are
using to boot Barrelfish, it is hard to figure out what the problem

What we can say is that on an up-to-date, vanilla Ubuntu 16.04 64-bit
x86 installation, if you follow the instructions in the README file,
and then run:

 make qemu_x86_64

 - then it should work.  I've just tested it on a relatively fresh
Ubuntu LTS installation and it worked fine - you eventually see a
prompt from 'fish', Barrelfish' fairly rudimentary CLI shell.

It's possible you're triggering a problem which doesn't show up when
building and running in Qemu on Ubuntu but is present on other
distros.  However, we can't tell unless you provide us with more
information on the environment you're using.

FWIW, the version of qemu currently supported is:

  $ qemu-system-x86_64 --version
  QEMU emulator version 2.5.0 (Debian 1:2.5+dfsg-5ubuntu10.24),
  Copyright (c) 2003-2008 Fabrice Bellard

>From the output you are sending, it's fairly clear that Barrelfish is
actually booting, but then hitting an error in the boot driver for the
second core.  Reto is looking into this, but in the meantime if you
stay with a stock Ubuntu 16.04 for building and running qemu, you
should be fine.

Best regards,

 -- Timothy Roscoe

At Wed, 7 Mar 2018 00:54:26 +0330, ben eslami <beneslami72 at gmail.com> wrote:
> Can anyone pleeease help me ???
> How can I launch Barrelfish??
> Is this like ubuntu ?? I mean, Can I boot it using vmware ???
> I did exactly as wiki says and I copied the result in attachment.
> I would appreciate if someone help me
> Thank you
> On Mon, Mar 5, 2018 at 3:37 PM, ben eslami <beneslami72 at gmail.com> wrote:
> >
> > Thank you for your attention.
> > what I did was just as this page http://wiki.barrelfish.or
> > g/Getting_Started
> > I did exactly as this page says and I copied the result in a file. you can
> > find it in attachment.
> > gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.9).
> > I downloaded the latest version of Barrelfish from Github.
> > For now, I just come up to this level and I don't know what to do next.
> >
> > Thank you again very much
> >
> >
> >>>
> >
> >

More information about the Barrelfish-users mailing list