Building for Raspberry Pi Ubuntu

[buzz heavyyear]

Hi,
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/tcp_terminal.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.
CheersNick 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20131130/9b9d81eb/attachment.html>