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

Rahul Singhal singhalrahul43 at
Thu Jun 6 12:00:11 CEST 2013

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: <>

More information about the l4-hackers mailing list