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.
2013/6/6 Rahul Singhal singhalrahul43@gmail.com:
But where to find them. Please help!
Just here: http://www.mentor.com/embedded-software/sourcery-tools/sourcery-codebench/ed...
Regards,
This one should work. https://github.com/raspberrypi/tools
On Thu, Jun 6, 2013 at 6:47 PM, Maximin Coste maximin.cl@gmail.com wrote:
2013/6/6 Rahul Singhal singhalrahul43@gmail.com:
But where to find them. Please help!
Just here: http://www.mentor.com/embedded-software/sourcery-tools/sourcery-codebench/ed...
Regards,
-- Maximin COSTE-LEENHARDT
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de
-
Maximin Coste -
Rahul Singhal -
Wei Jin