Build Target linux-arm: Wrong Compiler?

[Krefft, Daniel]

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
*****************************************************************