Hello everyone,
just in case you are not monitoring the news items at genode.org, let me
make you aware of the upcoming FOSDEM (https://fosdem.org/2018/) held on
3rd and 4th of February. The microkernel developer room at FOSDEM is the
melting pot of the open-source microkernel world where
Hi all,
I'm currently implementing a IO_MEM session for base-linux. The basic
idea is as follows:
- core opens a file in /dev/ and calls an ioctl on the file to set a
memory range.
- it passes this file descriptor to the child process that requested
the session
- the child process mmaps the
Hi Christian,
thanks for these hints. I have logged the signals and SIGCHLD is
received directly before the occurrence of the warning so I suspect that
this is the problematic signal.
I also set up a signal handler to catch all other signals and it only
logged the according signal number.