Build Target linux-arm: Wrong Compiler?

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