Booting Genode on i.MX53

[Christian Helmuth]

Hm,

I'm still not convinced the build system find the right tool-chain
binaries. The reason is

On Thu, Jul 04, 2013 at 03:54:48PM +0530, Archie Nidhi wrote:
> > On 07/04/2013 11:56 AM, Archie Nidhi wrote:
> > > 1.2: hw_imx53
> > > Program core/imx53/core
> > >     COMPILE  _main.o
> > > cc1plus: error: unrecognized command line option ‘-std=gnu++11’
> > > make[3]: *** [_main.o] Error 1
> > > make[2]: *** [core.prg] Error 2
> > > make[1]: *** [gen_deps_and_build_targets] Error 2
> > > make[1]: Leaving directory `/media/work/genode-13.05/hw.
> > > imx53'
> > > Error: Genode build failed
> > > make: *** [run/demo] Error 255

Our tool chain definitely supports this flag. Could you please run a
verbose build via

  make VERBOSE= core

and send the build log? It would also be helpful to get the version
information of the used tool chain. For this, execute the used
compiler like follows

  /usr/local/genode-gcc/bin/genode-arm-g++ -v --version

if the log contains

  /usr/local/genode-gcc/bin/genode-arm-g++  -Wno-psabi ...

Please make sure you post the version information of the compiler that
is used on your platform (refer to the build log).

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