[Barrelfish-users] {Disarmed} Re: Problems when booting Barrelfish on SCC

Stefan Kästle stefan.kaestle at inf.ethz.ch
Tue May 8 16:19:17 CEST 2012


We are working on the fix for the SCC of the Barrelfish tip. We expect 
to come up with a solution soon.

On 05/08/2012 03:46 PM, Zeus Gómez Marmolejo wrote:
> haha ok now I realized that for the work I'm doing I need the newlib.
>
> 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 :)
>
> May we help you with this fix for the SCC on the new release?
>
> Many thanks,
>
> zeus.

-- 
Stefan

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20120508/82d24bc1/attachment.html 


More information about the Barrelfish-users mailing list