Skip to content

Commit

Permalink
clarify "save"
Browse files Browse the repository at this point in the history
  • Loading branch information
arichardson committed Sep 18, 2024
1 parent 4d502e7 commit 8f7bf58
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/level-ext.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@

{cheri_levels_ext_name} is an optional extension to {cheri_base_ext_name} that adds support for associating a level with capabilities and limiting flow of capabilities to specific memory region subsets.
This extension allows assigning a level to capabilities, which in conjunction with two new permissions allows enforcing invariants on capability propagation.
For example, this can be used to ensure that a callee cannot save a copy of the passed in argument or to avoid sharing of compartment-local data between compartments.
For example, this can be used to ensure that a callee cannot store a copy of the passed in argument to memory or to avoid sharing of compartment-local data between compartments.
The number of supported levels is configurable, but this specification currently only requires supporting two levels (_local_ and _global_).

=== Capability format changes
Expand Down

0 comments on commit 8f7bf58

Please sign in to comment.