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

Wouter van Oijen wouter.van.oijen at technolution.nl
Thu Nov 22 14:38:14 CET 2018

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?

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

Kind regards,

More information about the users mailing list