Building for Raspberry Pi Ubuntu

buzz heavyyear buzzheavyyear at ...16...
Sat Nov 30 12:22:22 CET 2013

I'm trying to do a 'make run/tcp_terminal' with Pi and I've run into the following error:
  Program server/tcp_terminal/tcp_terminal  Program test/terminal_echo/test-terminal_echo  Library perf_counter  Program core/rpi/coremake[1]: Leaving directory `/home/nick/genode/build.rpi.tcp.terminal'cp: cannot stat `bin/nic_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/nick/genode/gems/run/" line 96)    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/nick/genode/tool/run" line 803)make: *** [run/tcp_terminal] Error 1

I have done a make prepare with libports, ports and dde_ipxe, and have added the dde_ipxe repository to build.conf.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list