arm-linux-ld not found while compiling l4-fiasco microkernel

[Wei Jin]

This one should work.
https://github.com/raspberrypi/tools


On Thu, Jun 6, 2013 at 6:47 PM, Maximin Coste <maximin.cl at gmail.com> wrote:

> 2013/6/6 Rahul Singhal <singhalrahul43 at gmail.com>:
> > But where to find them. Please help!
>
> Just here:
> http://www.mentor.com/embedded-software/sourcery-tools/sourcery-codebench/editions/lite-edition/
>
> Regards,
>
> --
> Maximin COSTE-LEENHARDT
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130606/cc887e10/attachment.html>