[Barrelfish-users] Fwd: Barrelfish-users Digest, Vol 58, Issue 1

Vinay Kumar ms.vinay.k at gmail.com
Wed Dec 3 10:28:52 CET 2014


Recently there was a new release of Barrelfish code which includes some
enhancements to core management (with reference to below mail),

I was planning to try to run this release on our systems,

I tried to clone and download the code from git repository, but somehow its
failing to connect to git.barrelfish.org when I run the git command below:

#git clone git://git.barrelfish.org/git/barrelfish

Cloning into 'barrelfish'...

fatal: unable to connect to git.barrelfish.org:

git.barrelfish.org[0:]: errno=Connection timed out

However I downloaded the .tar.gz code archive from the link given on

It downloaded ‘barrelfish-HEAD-70bbea2.tar.gz’, please confirm is this the
latest release code?

I tried to compile this release on our existing setup,

When I run the hake script to create the Makefile it fails with below error,

# ../hake/hake.sh -s .. -a x86_64


    Module `DynFlags' does not export `defaultFatalMessager'


    Module `DynFlags' does not export `defaultFlushOut'

Please help to resolve this error,

does this require to install a patch for the ghc compiler? Please suggest.



---------- Forwarded message ----------
From: <barrelfish-users-request at lists.inf.ethz.ch>
Date: Tue, Dec 2, 2014 at 4:30 PM
Subject: Barrelfish-users Digest, Vol 58, Issue 1
To: barrelfish-users at lists.inf.ethz.ch

Send Barrelfish-users mailing list submissions to
        barrelfish-users at lists.inf.ethz.ch

To subscribe or unsubscribe via the World Wide Web, visit
or, via email, send a message with subject or body 'help' to
        barrelfish-users-request at lists.inf.ethz.ch

You can reach the person managing the list at
        barrelfish-users-owner at lists.inf.ethz.ch

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Barrelfish-users digest..."

Today's Topics:

   1. New Barrelfish Release (Gerd Zellweger)


Message: 1
Date: Mon, 1 Dec 2014 16:18:21 +0100
From: Gerd Zellweger <gerd.zellweger at inf.ethz.ch>
Subject: [Barrelfish-users] New Barrelfish Release
To: Barrelfish hackers <barrelfish at lists.inf.ethz.ch>,
        <barrelfish-users at lists.inf.ethz.ch>
Message-ID: <b44370b6e47c056296b2780102504bfe at gerdzellweger.com>
Content-Type: text/plain; charset="US-ASCII"; format=flowed

Dear all,

We are pleased to announce a new release of the Barrelfish OS. Along
with various bugfixes, this version includes a new core management
infrastructure that allows to shutdown and reboot cores, update kernels
and move entire per-core state between cores and kernels. For a more
detailed explanation, please have a look at our OSDI paper available on
the Barrelfish website [1].

As always, you can get the latest version by cloning or pulling from our
git repository [2].


[1]: http://www.barrelfish.org/zellweger-decoupling-cores.pdf
[2]: git://git.barrelfish.org/git/barrelfish


Barrelfish-users mailing list
Barrelfish-users at lists.inf.ethz.ch

End of Barrelfish-users Digest, Vol 58, Issue 1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20141203/f5c48cb1/attachment.html 

More information about the Barrelfish-users mailing list