Porting Mosquitto to Genode: no plugin found for socket()

[Wouter van Oijen]

> >> 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