error copying "bin/nic_drv": no such file or directory while executing "file copy -force bin/[kernel_specific_binary $binary] [run_dir]/genode/$binary" (procedure "copy_genode_binaries_to_run_dir" line 4)
Does this scenario work in your environment?
For me this runs well inside qemu on my Ubuntu 18.04 machine. As far as I remember I didn't change anything in etc/build.conf except seting the kernel specifically to nova.
as the NIC driver comes from the 'dde_ipxe' repository, may this repository be disabled (default) in Wouter's etc/build.conf?
Yes. After adding the dde_ipxe repository the scenario executed successfully. Thanks.
Kind regards, Wouter