<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    We are working on the fix for the SCC of the Barrelfish tip. We
    expect to come up with a solution soon.<br>
    <br>
    On 05/08/2012 03:46 PM, Zeus G&oacute;mez Marmolejo wrote:
    <blockquote
cite="mid:CAPgvYs78o79ZFstNtuY28Wpsf7LyfwtC18nkADFAAkjWbGD1LA@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=ISO-8859-1">
      haha ok now I&nbsp;realized&nbsp;that for the work I'm doing I need the
      newlib.
      <div><br>
      </div>
      <div>And that is only included in the new release. So I have to
        choose between having the newlib or be able to boot the SCC :)</div>
      <div>
        <br>
      </div>
      <div>May we help you with this fix for the SCC on the new release?
        <div><br>
        </div>
        <div>Many thanks,</div>
        <div><br>
        </div>
        <div>zeus.</div>
      </div>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="72">-- 
Stefan</pre>
  </body>
</html>