Restoring child with checkpointed state

[Norman Feske]

Hello,

On 22.06.2017 16:08, Stefan Kalkowski wrote:> It is created by core,
when a new SIGNAL session is opened to it.

Actually, the SIGNAL session interface does not exist anymore. Its
functionality moved into core's PD service in Genode 16.05.

@David, to understand the signal-delivery mechanism via core, the
following parts of the implementation are most interesting.

Implementation of core's PD service:

  repos/base/src/core/include/pd_session_component.h
  repos/base/src/core/pd_session_component.cc

The part of the PD-session interface responsible to the asynchronous
notifications:

  repos/base/src/core/include/signal_broker.h
  repos/base/src/core/include/signal_source_component.h

Fiasco.OC-specific back end (interaction with Fiasco.OC's virtual IRQs):

  repos/base-foc/src/core/signal_source_component.cc

Client-side couterpart (present in each component):

  repos/base-foc/src/lib/base/signal_source_client.cc

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth