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@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@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main -- Stefan Kalkowski Genode Labs https://github.com/skalk ยท http://genode.org/ ------------------------------------------------------------------------------ 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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
