Hello,

1) Given that Genode has been ported on iMX53 with u-boot, how do I get it running on either qemu or hardware directly?
(cross-compiling for arm, configuring u-boot etc.)
2) I tried creating build directories with ./tool/create_builddir hw_imx53 (and foc_imx53) BUILD_DIR=build and running make run/demo.

Got the following errors:
1.1 : foc_imx53

./dump_tcboffsets tcboffset.bin > tcboffset.h.new
mv tcboffset.h.new tcboffset.h
  ... Making ivt.o
  ... Making tb_entry_output.o
/media/work/genode-13.05/base-
foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:506:31: error: uninitialized const ‘_ipc_fmt’ [-fpermissive]
/media/work/genode-13.05/base-foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:141:7: note: ‘const class Tb_entry_ipc_fmt’ has no user-provided default constructor
/media/work/genode-13.05/base-foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:507:35: error: uninitialized const ‘_ipc_res_fmt’ [-fpermissive]
/media/work/genode-13.05/base-foc/contrib/kernel/fiasco/src/kern/tb_entry_output.cc:157:7: note: ‘const class Tb_entry_ipc_res_fmt’ has no user-provided default constructor
make[5]: *** [tb_entry_output.o] Error 1
make[4]: *** [all] Error 2
make[3]: *** [/media/work/genode-13.05/foc.imx/kernel/fiasco.oc/fiasco] Error 2
make[2]: *** [fiasco.oc.prg] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/media/work/genode-13.05/foc.imx'
Error: Genode build failed
make: *** [run/demo] Error 252

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

Any ideas?

Thanks and Regards
Anubhav