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/core
make[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.