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

[Rahul Singhal]

I am trying to port L4-fiasco + L4Re to raspberry pi. But when I compile
fiasco, it throws an error saying arm-linux-ld not found. I found that I
will need cross compiler binaries to compile the fiasco microkernel. But
where to find them. Please help!
Thanks in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130606/dae413a6/attachment.html>