Dear people of Genode-labs,
After a long time lurking, I wanted to give it a spin.
These are my experiences:
I installed an Ubuntu-12.04-03 iso on a virtual-box vm.
I downloaded: genode-14.02.tar.bz2 and genode-toolchain-12.11-x86_64.tar.bz2
Unpacked according to instructions.
When trying the make run/demo from the 'getting started' page I get this error:
$ make run/demo /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: cannot execute binary file
and more of these for other binaries from the toolchain, eg gcc, ar, etc.
Some investigations:
$ file /usr/local/genode-gcc/bin/genode-x86-g++ /usr/local/genode-gcc/bin/genode-x86-g++: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.15, BuildID[sha1]=0xe8a025bec16cdc16afa6cc41c05e1bdf19a9fbc4, stripped
$ ldd /usr/local/genode-gcc/bin/genode-x86-g++ not a dynamic executable
$ cat /proc/version Linux version 3.8.0-29-generic (buildd@...232...) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #42~precise1-Ubuntu SMP Wed Aug 14 15:31:16 UTC 2013
Compiling the tool-chain using tool/tool-chain script gave a working compiler and a running demo!
I guess, the latest tool-chain 12.11 is out of date for the latest Ubuntu.
I hope to post more experiences later on.
With regards, Guido Witmond.