Hello Mark, would you mind to post your complete build.conf. I also added
RUN_OPT += --include image/uboot to mine and it worked just fine. Additionally, did you change anything from the standard tool-chain setup? Mine is /usr/local/genode-gcc/bin//genode-arm-gcc etc. and also CROSS_DEV_PREFIX=/usr/local/genode-gcc/bin//genode-arm- You may check via ps x|grep cross-dev-prefix while running "make run/hello" without the uboot option. 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 ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
