<div class="gmail_quote"><div class="gmail_quote"><div>Hi,</div>The website of Barrelfish (<a href="http://www.barrelfish.org/" target="_blank">http://www.barrelfish.org/</a>) is down now (15:49 CET). <div>When will it be up again? Is there any alternative way to get latest release of Barrelfish?</div>


<div>Karl</div><font color="#888888"><div><br></div>
</font></div><br>
</div><br>