genode/repos/base-hw
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
..
doc Add tutorial for base-hw on Muen 2015-08-27 13:48:26 +02:00
include Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
lib Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
mk/spec Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
run remove Versatile Express board (Fix #1611) 2015-07-07 19:48:06 +02:00
src base: Dispatch server signal in entry point 2015-10-28 15:06:22 +01:00