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