Build Target linux-arm: Wrong Compiler?

[Christian Prochaska]

Hello Daniel,

On 09/02/2015 05:21 PM, Krefft, Daniel wrote:
> 1. Is it possible to build the linux_arm target for ARM (as suspected)?
> 2. Where can we change the compiler option pointing to e.g.
> arm-none-eabi?

please have a look at the following discussion in the mailing list
archive:
https://www.mail-archive.com/genode-main@lists.sourceforge.net/msg03283.html

Regards,
Christian