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.
I have used those file this morning on Arch Linux and $make run/demo did work, except for the close button not responding. Are you sure your version of Linux is 64 bits, not 32? cat /proc/version should show.
2014-03-02 11:10 GMT-05:00 Guido Witmond <guido@...231...>:
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.
Flow-based real-time traffic analytics software. Cisco certified tool. Monitor traffic, SLAs, QoS, Medianet, WAAS etc. with NetFlow Analyzer Customize your own dashboards, set traffic alerts and generate reports. Network behavioral analysis & security monitoring. All-in-one tool. http://pubads.g.doubleclick.net/gampad/clk?id=126839071&iu=/4140/ostg.cl... _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
On 03/02/14 19:30, Paul Dufresne wrote:
I have used those file this morning on Arch Linux and $make run/demo did work, except for the close button not responding. Are you sure your version of Linux is 64 bits, not 32? cat /proc/version should show.
Oops. I'm running a 32 bit Ubuntu, indeed.
However the same 64-bit toolchain refused to run on my 64 bit debian with kernel 3.2.0-4.amd64. There I got the error
$ make run/demo /bin/bash: /usr/local/genode-gcc/bin/genode-x86-g++: No such file or directory
But that was in an LXC-container. Upon checking it was a 32 bit container, refusing to run the 64 bit binaries. Lousy error message, though.
Thanks for the pointer!
Regards, Guido Witmond.
-
Guido Witmond -
Paul Dufresne