7 Sep
2015
7 Sep
'15
4:46 p.m.
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