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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
