Building Genode for Linux/ARM

Christian Prochaska christian.prochaska at ...1...
Tue May 19 11:33:29 CEST 2015

Hi Alex,

On 05/19/2015 10:26 AM, Alexander Senier wrote:
> Adding -march=armv7-a manually to the above g++ invocation succeed, but I don't see where to set the architecture in the build config.

creating a file '/build/linux_arm/etc/tools.conf' with the line


should do it.


More information about the users mailing list