Restoring child with checkpointed state

[Stefan Kalkowski]

On 07/05/2017 02:00 PM, David Werner wrote:
> Hi,
> 
> it seems to work if i use <capability>.data()->kcap(). Is that correct?

Yes.

Regards
Stefan

> 
> Kind Regards,
> David
> 
> Am 05.07.2017 um 13:46 schrieb 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
>>
>>
>>
>> ------------------------------------------------------------------------------
>>
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>> _______________________________________________
>> genode-main mailing list
>> genode-main at lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>
> 
> 
> ------------------------------------------------------------------------------
> 
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/