Hi Christian
I used these two steps to add the dde_linux after the first error mentioned, but then produce the second error, it seems to be at link time when try to find bin /usb_drv file.

Best regards

On 08/30/2014 05:34 AM, Christian Helmuth wrote:
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.

Regards,
Christian

On August 29, 2014 10:51:37 PM CEST, "Reinier Millo Sánchez" <rmillo@...210...> wrote:
Hi
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 
/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/repos/base-hw/run/env
using run script 
/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/repos/os/run/demo.run
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 
`/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/build/hw_rpi'
Error: target 'drivers/usb' does not exist
make[1]: *** [error_missing_targets] Error 1
make[1]: Leaving directory 
`/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/build/hw_rpi'
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 
`/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/build/hw_rpi'
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 
"/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/repos/os/run/demo.run"

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 
"/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/tool/run"

line 905)
make: *** [run/demo] Error 1

I need to include another repository or do another configuration?

Best regards

    

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas

"antes de discutir ... respira;
  antes de hablar ... escucha;
 antes de escribir ... piensa;
  antes de herir ... siente;
 antes de rendirte ... intenta;
  antes de morir ... vive"