Uboot creation script fails

[Christian Helmuth]

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