Toolchain out of date?

Guido Witmond guido at ...231...
Sun Mar 2 17:10:35 CET 2014

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

$ 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 at ...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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 897 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the users mailing list