Hello João, On Thu, Sep 10, 2015 at 01:50:00AM +0100, João Rocheteau Ramos wrote: > I'm using Genode-15.08 already
This is the Genode OS Framework version. What Ben was referring to is the tool-chain version. For Genode 15.08 you need the current tool chain which is 15.05. You have to option to get it 1) You can download from Sourceforge http://sourceforge.net/projects/genode/files/genode-toolchain/ 2) You may build the tool chain by yourself via the script in <genode-dir>/tool/tool_chain More detailed information about the Genode tool chain can be found at http://genode.org/download/tool-chain Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Monitor Your Dynamic Infrastructure at Any Scale With Datadog! Get real-time metrics from all of your servers, apps and tools in one place. SourceForge users - Click here to start your Free Trial of Datadog now! http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140 _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
