[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