6 Jun
2013
6 Jun
'13
noon
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.