<div dir="ltr"><p class="MsoNormal"><span style="color:rgb(31,73,125)">Hi,</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Recently there was a new release of Barrelfish code which
includes some enhancements to core management (with reference to below mail),</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">I was planning to try to run this release on our systems,</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">I tried to clone and download the code from git repository, but
somehow its failing to connect to <a href="http://git.barrelfish.org">git.barrelfish.org</a> when I run the git command
below:</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">#git clone git://<a href="http://git.barrelfish.org/git/barrelfish">git.barrelfish.org/git/barrelfish</a></span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Cloning into &#39;barrelfish&#39;...</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">fatal: unable to connect to <a href="http://git.barrelfish.org">git.barrelfish.org</a>:</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"><a href="http://git.barrelfish.org">git.barrelfish.org</a>[0: 129.132.186.81]: errno=Connection timed
out</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">However I downloaded the .tar.gz code archive from the link
given on <a href="http://barrelfish.org">barrelfish.org</a>,</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">It downloaded ‘barrelfish-HEAD-70bbea2.tar.gz’, please confirm
is this the latest release code?</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">I tried to compile this release on our existing setup, </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">When I run the hake script to create the Makefile it fails with
below error,</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">#</span> <span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">../hake/hake.sh -s .. -a x86_64</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">../hake/Main.hs:22:19:</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">    Module `DynFlags&#39; does not export `defaultFatalMessager&#39;</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">../hake/Main.hs:22:41:</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">    Module `DynFlags&#39; does not export
`defaultFlushOut&#39;</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Please help to resolve this error,</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">does this require to install a patch for the ghc compiler?
Please suggest.</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"> </span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Thanks</span></p>

<p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)">Vinay</span></p><p class="MsoNormal"><span style="font-size:11pt;font-family:Calibri,sans-serif;color:rgb(31,73,125)"><br></span></p><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername"></b> <span dir="ltr">&lt;<a href="mailto:barrelfish-users-request@lists.inf.ethz.ch">barrelfish-users-request@lists.inf.ethz.ch</a>&gt;</span><br>Date: Tue, Dec 2, 2014 at 4:30 PM<br>Subject: Barrelfish-users Digest, Vol 58, Issue 1<br>To: <a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a><br><br><br>Send Barrelfish-users mailing list submissions to<br>
        <a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
or, via email, send a message with subject or body &#39;help&#39; to<br>
        <a href="mailto:barrelfish-users-request@lists.inf.ethz.ch">barrelfish-users-request@lists.inf.ethz.ch</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:barrelfish-users-owner@lists.inf.ethz.ch">barrelfish-users-owner@lists.inf.ethz.ch</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than &quot;Re: Contents of Barrelfish-users digest...&quot;<br>
<br>
<br>
Today&#39;s Topics:<br>
<br>
   1. New Barrelfish Release (Gerd Zellweger)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Mon, 1 Dec 2014 16:18:21 +0100<br>
From: Gerd Zellweger &lt;<a href="mailto:gerd.zellweger@inf.ethz.ch">gerd.zellweger@inf.ethz.ch</a>&gt;<br>
Subject: [Barrelfish-users] New Barrelfish Release<br>
To: Barrelfish hackers &lt;<a href="mailto:barrelfish@lists.inf.ethz.ch">barrelfish@lists.inf.ethz.ch</a>&gt;,<br>
        &lt;<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a>&gt;<br>
Message-ID: &lt;<a href="mailto:b44370b6e47c056296b2780102504bfe@gerdzellweger.com">b44370b6e47c056296b2780102504bfe@gerdzellweger.com</a>&gt;<br>
Content-Type: text/plain; charset=&quot;US-ASCII&quot;; format=flowed<br>
<br>
Dear all,<br>
<br>
We are pleased to announce a new release of the Barrelfish OS. Along<br>
with various bugfixes, this version includes a new core management<br>
infrastructure that allows to shutdown and reboot cores, update kernels<br>
and move entire per-core state between cores and kernels. For a more<br>
detailed explanation, please have a look at our OSDI paper available on<br>
the Barrelfish website [1].<br>
<br>
As always, you can get the latest version by cloning or pulling from our<br>
git repository [2].<br>
<br>
Cheers,<br>
Gerd<br>
<br>
[1]: <a href="http://www.barrelfish.org/zellweger-decoupling-cores.pdf" target="_blank">http://www.barrelfish.org/zellweger-decoupling-cores.pdf</a><br>
[2]: git://<a href="http://git.barrelfish.org/git/barrelfish" target="_blank">git.barrelfish.org/git/barrelfish</a><br>
<br>
<br>
<br>
------------------------------<br>
<br>
_______________________________________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
<br>
<br>
End of Barrelfish-users Digest, Vol 58, Issue 1<br>
***********************************************<br>
</div><br></div>