Build errors with L4

Bob Stewart robjsstewart at
Mon Jul 29 15:14:10 CEST 2013

Thanks Christian,

I pointed to an arm toolchain from linaro dated 2013.3 and got the build to 
work successfully.

It might be worth putting a note in step 4 about ARM cross-compiling. The 
README in the l4re snapshots has a good description about cross-compiling 
to an ARM target.

Thanks for your help

Sent with AquaMail for Android

On July 29, 2013 8:49:31 AM Christian Prochaska 
<christian.prochaska at> wrote:
> Hello Bob,
> On 07/29/2013 12:37 PM, Bob Stewart wrote:
> > Because I was using the genode toolchain whose tools don't have the
> > arm-linux- prefix, I created a directory of links which have that
> > prefix (e.g. arm-linux-gcc) which link to the appropriate tool in the
> > genode tools directory (/usr/local/genode).
> the Genode toolchain does not support TLS, which might explain your
> problem. Since you are running Ubuntu: there seems to be an ARM cross
> toolchain in the 'universe' repository which might work (haven't tested it).
> Christian
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

More information about the l4-hackers mailing list