Martin Stein 56cafb3b57 hw: fix race in signal dispatching ... There was a race when the component entrypoint wanted to do 'wait_and_dispatch_one_signal'. In this function it raises a flag for the signal proxy thread to notice that the entrypoint also wants to block for signals. When the flag is set and the signal proxy wakes up with a new signal, it tried to cancel the blocking of the entrypoint. However, if the entrypoint had not reached the signal blocking at this point, the cancel blocking failed without a solution. Now, the new Kernel::cancel_next_signal_blocking call solves the problem by storing a request to cancel the next signal blocking of a thread immediately without blocking itself. Ref #2284		2017-02-28 13:00:41 +01:00
..
doc	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
etc	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
include	hw: fix race in signal dispatching	2017-02-28 13:00:41 +01:00
lib/mk	hw: bootstrap into kernel	2017-02-23 14:54:42 +01:00
ports	Update Muen port	2016-08-10 11:07:48 +02:00
run	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
src	hw: fix race in signal dispatching	2017-02-28 13:00:41 +01:00