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