Hello, >> 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? Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
