Problem running the demo

[Christian Helmuth]

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