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.
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ 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.clktrk
_______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
