Uboot creation script fails

[Mark Albers]

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 at ...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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150909/def186d9/attachment.html>