Re: Problem running the demo

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