Hello Denis,
* Denis Huber <huber.denis@...435...> [2016-08-30 16:21:10 +0200]:
I created a new thread which causes the page fault, and also assigned an extra Entrypoint for the Signal_handler [1], but still no success. Perhaps I am using the Signal_handler in a wrong way.
[1] https://github.com/702nADOS/genode-CheckpointRestore-SharedMemory/blob/c58b4...
Calling 'thread0.join()' at this point causes the EP to block at a lock and therefore it will not handle any signals because it does not wait for IPC. Removing the call to join should fix the issue.
Regards,