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