Also, keep in mind that Genode isn't as useful on top of Linux. The purpose for Linux as a build target is to ease development. 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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main