genode/base-nova/include
Alexander Boettcher fe19103546 nova: create sm for signalling via pager
The 'pause' call on base-nova assumes that a thread can solely block in its
associated semaphore. Main reason is that so core can unblock a thread in order
that the recall exception gets delivered and the register state can be
obtained.

Unfortunately the signal session implementation creates a semaphore, which is
unknown by the pager code. Instead create the semaphore via the pager of the
thread, so that the pager can unblock the signal thread when a pause is issued.

Issue #478
2013-10-16 09:26:09 +02:00
..
32bit/nova nova: add syscall pt_ctrl bindings 2013-02-25 16:45:49 +01:00
64bit/nova nova: add syscall pt_ctrl bindings 2013-02-25 16:45:49 +01:00
base nova: create sm for signalling via pager 2013-10-16 09:26:09 +02:00
cap_session nova: revoke set portal id right 2013-02-25 16:45:50 +01:00
cpu_session nova: remove native_cap method from cpu_session 2013-10-16 09:26:09 +02:00
nova nova: create sm for signalling via pager 2013-10-16 09:26:09 +02:00
nova_cpu_session nova: remove native_cap method from cpu_session 2013-10-16 09:26:09 +02:00
pd_session nova: extend pd_session by assign_pci function 2013-02-21 11:52:02 +01:00
rm_session Fix warning about initializer of 'Local_addr' 2013-05-06 11:11:03 +02:00
signal_session nova: create sm for signalling via pager 2013-10-16 09:26:09 +02:00