Skip to content

CapMap deletion #195

@gypsephi

Description

@gypsephi

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)

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions