On Sep 2, 2015 9:21 AM, "Krefft, Daniel" <daniel.krefft@...256...> wrote:

Hello,

we want to build Genode on top of Linux for an ARM-based platform
(beagle bone black). Therefore, we choose the 'linux_arm' as build
target. With Genode's ARM-Toolchain and x86-Toolchain in place, the
compilation works without any problems. But, the resulting program is
build for the x86_64 architecture.

So, we have the following two questions:

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?

Best regards,
Daniel

--
*****************************************************************
* Daniel Krefft M.Sc.
*
* T: +49-89-289-18791
*
*
* Technische Universitaet Muenchen
* Fakultaet fuer Informatik - F13  (Prof. Baumgarten)
* Boltzmannstr. 3
* D-85748 Garching bei Muenchen
* Germany
*****************************************************************
------------------------------------------------------------------------------
Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
Get real-time metrics from all of your servers, apps and tools
in one place.
SourceForge users - Click here to start your Free Trial of Datadog now!
http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main