Restoring child with checkpointed state
wernerd at ...389...
Wed Jul 5 13:46:01 CEST 2017
Am 29.06.2017 um 18:18 schrieb Stefan Kalkowski:
> What I meant with:
> "... the signal handler thread transfers its identity to core via
> 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
> 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
Thank you! I modified the request semaphore call according to your
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
Could you give me some more advise on that?
More information about the users