Restoring child with checkpointed state

[David Werner]

Hi Stefan,

Am 29.06.2017 um 18:18 schrieb Stefan Kalkowski:
> What I meant with:
>
>    "... the signal handler thread transfers its identity to core via
> request_semaphore..."
>
> was that you add an additional argument to the request_semaphore call,
> which is the CPU session's thread capability of the calling thread, like
> this:
>
>    Thread::myself()->cap()
>
> Core can therewith retrieve the "real" thread capability, in terms of
> the kernel's thread capability, and attach that to the IRQ object.
> I hope I could get my ideas across to you.
>
> Best regards
> Stefan
>
Thank you! I modified the request semaphore call according to your 
suggestion.

My only problem is that i don't get how to use the transfered thread 
capability to retrieve the kernel's thread capability.
More precisely, i'm not able to figure out how to determine the correct 
kcap which i have to use in the l4_irq_attach call (which is now on 
core's side).

Could you give me some more advise on that?

Kind Regards,
David