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