[Barrelfish-users] requesting for Help

Lukas Humbel lukas.humbel at inf.ethz.ch
Wed Mar 7 11:01:30 CET 2018


The QEMU version should not be an issue, I run BF regularly on a pretty
recent version (2.10.93) and it works without issues.


On 06.03.2018 23:32, Timothy Roscoe wrote:
> 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
> is.
> 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
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users

Lukas Humbel

More information about the Barrelfish-users mailing list