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

Pirmin Duss pirmin.duss at gapfruit.com
Thu Nov 22 14:59:28 CET 2018


Hello Wouter

On 22.11.18 14:38, Wouter van Oijen wrote:
> Hello Pirmin,
> Thanks for your suggestions.
> 
>> An example on how to configure the socket can be found in repos/libports/run/nic_bridge.run line 77 to 83.
> 
> I've tried to run this scenario with three different kernels on three
> different platforms, but got errors with all combinations. With
> KERNEL=nova on an x86_64 platform I got the following error:
> 
> 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.

> 
> 
>> An example on how to configure the rtc can be found in repos/world/run/atari800.run (lines 7 and 10)
>>
>> There is a driver for the hardware RTC (rtc_drv). repos/world/run/gmock.run provides an example on how to use it (AFAIK
>> it doesn't work on Linux).
> 
> The atari800 scenarios isn't the best example, since it only fakes the
> real-time clock, and I couldn't even run the scenario out-of-the-box.
> But you put me in the right direction :-) I found a working example
> using the rtc_drv in libports/run/nim.run.
> It didn't work with the Linux kernel indeed, but with the Nova kernel
> it seems to work fine (at least the warning in my application
> disappeared and the existing "run/rtc" scenario seemed to work
> correctly with the Nova kernel).

Nice, to hear that you could fix this on your system.

Best regards,
Pirmin

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


More information about the users mailing list