Hi Alex, the Linux platforms don't support cross-compiling at this stage, which means that 'linux_arm' only works on an ARM Linux host system.
Regards, Christian On 18.05.2015 22:10, Alexander Senier wrote: > Hi all, > > I'm trying to build Genode for the Linux base platform for ARM without > success so far. Despite having the ARM toolchain installed, my builds > always are x86_64. Here is what I did after checking out the source tree: > > $ cd <genode_dir>/tool > $ ./toolchain arm > > After prompting for my super user password the toolchain gets installed > to /usr/local/genode-gcc. The resulting tools (genode-arm-*) appear to > work OK. > > $ ./create_builddir linux_arm > $ cd ../build/linux_arm > $ make run/demo > > However, when done an SDL window running the *x86_64* version of the > demo pops up. > > $ file init/init > init/init: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), > statically linked, not stripped > > I'm building a current Genode master branch on Debian 8 / x86_64. > > What am I missing? > > Cheers, > Alex > > ------------------------------------------------------------------------------ > One dashboard for servers and applications across Physical-Virtual-Cloud > Widest out-of-the-box monitoring support with 50+ applications > Performance metrics, stats and reports that give you Actionable Insights > Deep dive visibility with transaction tracing using APM Insight. > http://ad.doubleclick.net/ddm/clk/290420510;117567292;y > _______________________________________________ > genode-main mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/genode-main ------------------------------------------------------------------------------ One dashboard for servers and applications across Physical-Virtual-Cloud Widest out-of-the-box monitoring support with 50+ applications Performance metrics, stats and reports that give you Actionable Insights Deep dive visibility with transaction tracing using APM Insight. http://ad.doubleclick.net/ddm/clk/290420510;117567292;y _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
