Help compiling Genode on hw_rpi

Christian Helmuth christian.helmuth at ...1...
Sat Aug 30 11:34:51 CEST 2014

Hello Reinier,

I can't check it currently with the sources, but to use a port you have to do 2 steps

1. Prepare the port with too/port/prepare_port
2. Add the repo of the port to etc/build.conf

I suppose you forgot the first step.


On August 29, 2014 10:51:37 PM CEST, "Reinier Millo Sánchez" <rmillo at ...169.....210...> wrote:
>I'm using Genode 14.05 on commit 
>(f442e64eafb5c607adb24c6358adbef1173568fe) I'm trying to compile Genode
>Demo on RaspberryPI. I have prepared the build directory using the 
>default platform hw_rpi. When try to compile:
>using run script 
>using run script 
>spawn make core init drivers/timer server/nitpicker app/pointer 
>app/status_bar server/liquid_framebuffer app/launchpad app/scout 
>test/nitpicker server/nitlog drivers/framebuffer drivers/pci 
>drivers/input server/report_rom drivers/usb drivers/platform
>make[1]: Entering directory 
>Error: target 'drivers/usb' does not exist
>make[1]: *** [error_missing_targets] Error 1
>make[1]: Leaving directory 
>Error: Genode build failed
>make: *** [run/demo] Error 255
>After that i have added the dde_linux port to use the USB drivers, but 
>when clean and compile it again, there is another error:
>  Program app/launchpad/launchpad
>     COMPILE  launcher.o
>     COMPILE  launchpad_window.o
>     COMPILE  main.o
>     LINK     launchpad
>make[1]: Leaving directory 
>cp: cannot stat `bin/usb_drv': No such file or directory
>     while executing
>"exec cp bin/$binary [run_dir]/genode"
>     (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4)
>     invoked from within
>"copy_and_strip_genode_binaries_to_run_dir $binaries"
>     (procedure "build_boot_image" line 5)
>     invoked from within
>"build_boot_image $boot_modules"
>     (file 
>line 210)
>     invoked from within
>"source $include_name"
>     ("foreach" body line 3)
>     invoked from within
>"foreach include_name [get_cmd_arg --include ""] {
>     puts "using run script $include_name"
>     source $include_name
>     (file 
>line 905)
>make: *** [run/demo] Error 1
>I need to include another repository or do another configuration?
>Best regards

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list