Hi Christian,
i didn't change anything on the tool-chain setup an output of 'ps x|grep cross-dev-prefix' includes '--cross-dev-prefix /usr/local/genode-gcc/bin/genode-arm-'.
build.conf (with RUN_OPT += --include image/uboot):
GENODE_DIR = /home/mark/genode_git BASE_DIR = $(GENODE_DIR)/repos/base CONTRIB_DIR = $(GENODE_DIR)/contrib
## ## Kernel-specific base repository ##
REPOSITORIES += $(GENODE_DIR)/repos/base-hw
## ## Kernel-specific run tool configuration ##
RUN_OPT = --include boot_dir/hw \ --include power_on/qemu --include log/qemu RUN_OPT += --include image/uboot
## ## Repositories needed for the default demo scenario ##
REPOSITORIES += $(GENODE_DIR)/repos/base REPOSITORIES += $(GENODE_DIR)/repos/os REPOSITORIES += $(GENODE_DIR)/repos/demo
## ## Optional repositories ##
REPOSITORIES += $(GENODE_DIR)/repos/hello_tutorial
# # Ports of popular open-source libraries and the C library. # # Make sure to execute 'make prepare' in 'libports' prior building. # #REPOSITORIES += $(GENODE_DIR)/repos/libports
# # Ports of popular 3rd-party applications # # The 'ports' repository depends on 'libc' and 'libports'. # Make sure to execute 'make prepare' in 'ports' prior building. # #REPOSITORIES += $(GENODE_DIR)/repos/ports
# # Ports of the Linux TCP/IP stack and Linux drivers (USB) from the Linux kernel # #REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
# # NetBSD file-system support # #REPOSITORIES += $(GENODE_DIR)/repos/dde_rump
# # High-level Genode-specific services and applications # # The 'gems' repository depends on 'libc' and 'libports'. # #REPOSITORIES += $(GENODE_DIR)/repos/gems
Regards Mark
2015-09-07 16:46 GMT+02:00 Christian Helmuth < christian.helmuth@...1...>:
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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main