Build errors with L4

Christian Prochaska christian.prochaska at
Mon Jul 29 14:49:31 CEST 2013

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).


More information about the l4-hackers mailing list