9 Jan
2014
9 Jan
'14
5:31 p.m.
Hello Kartik,
On Thu, Jan 09, 2014 at 08:58:24PM +0530, Bulusu Kartik wrote:
I have genode 13.08 and installed genode-toolchain-11.11.tar.bz2.
I don't know if this is your problem but
http://sourceforge.net/projects/genode/files/genode-toolchain/
states that
Genode releases require tool chains with equal or next smaller version number.
Therefore, you need
http://sourceforge.net/projects/genode/files/genode-toolchain/12.11/
when building Genode 13.08.
Greets
--
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