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 <
[email protected]>:
> 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
>
------------------------------------------------------------------------------
Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
Get real-time metrics from all of your servers, apps and tools
in one place.
SourceForge users - Click here to start your Free Trial of Datadog now!
http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
_______________________________________________
genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
