Deriving and Revoking IRQControl caps
16 Feb
2017
16 Feb
'17
3:20 a.m.
Based on the seL4 manual it sounds like IRQControl caps only support one level of derivation. What is the reason for this restriction? We encountered a case where we wanted to hand out an IRQControl for a specific irq and then later revoke access, but we couldn't do it because the IRQControl for a specific irq is already a derived capability. -Andrew
3324
Age (days ago)
3325
Last active (days ago)
10 comments
5 participants
participants (5)
-
Adrian.Danis＠data61.csiro.au -
Andrew Gacek -
Gernot.Heiser＠data61.csiro.au -
Gerwin.Klein＠data61.csiro.au -
Mark Jones