genode/repos/os/src/lib
Sebastian Sumpf 2b429ee84c base: Dispatch server signal in entry point
Currently, when a signal arrives in the main thread, the signal dispatcher is
retrieved and called from the main thread, the dispatcher uses a proxy object
that in turn sends an RPC to the entry point. This becomes a problem when the
entry point destroys the dispatcher object, before the dispatch function has
been called by the main thread. Therefore, the main thread should simply send an
RPC to the entry point upon signal arrival and the dispatching should be handled
solely by the entry point.

Issue #1738
2015-10-28 15:06:22 +01:00
..
alarm alarm: reposition reprogrammed alarms in queue 2015-08-21 11:00:57 +02:00
blit Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
config Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
config_args Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
net base: use reference for ascii_to output argument 2015-04-17 16:13:19 +02:00
server base: Dispatch server signal in entry point 2015-10-28 15:06:22 +01:00
timed_semaphore Improve 'Timed_semaphore' accuracy 2015-02-27 11:48:07 +01:00
trace/policy Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
vfs VFS: symlink file system 2015-09-30 12:20:36 +02:00
xev_track Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00