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

[Norman Feske]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20181122/839451fd/attachment.sig>