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 ------------------------------------------------------------------------------ CenturyLink Cloud: The Leader in Enterprise Cloud Services. Learn Why More Businesses Are Choosing CenturyLink Cloud For Critical Workloads, Development Environments & Everything In Between. Get a Quote or Start a Free Trial Today. http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
