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
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

Reply via email to