> >> 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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
