Deriving and Revoking IRQControl caps
15 Feb
2017
15 Feb
'17
5:20 p.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
3521
Age (days ago)
3522
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