-
Notifications
You must be signed in to change notification settings - Fork 4
Labels
Description
When allocating a capmap, only a refernce cabability is provided to the user.
This prevents cyclic dependencies between capmaps which would cause trouble when deleting those capmaps.
Unfortunately, this prohibits the user to delete capmaps at all, because the user does not own the original capability of the capmap.
When dynamically creating and destroying processes a capmap deletion mechanism is required.
Please find and implement a way to delete capmaps while still preventing harmful cyclic dependencies.
(e.g. special deletion invokation that is able to delete the capmap without requiring the original capability)