Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

attempt at listing some system rules with examples #401

Merged
merged 9 commits into from
Oct 4, 2024
Prev Previous commit
Update src/system.adoc
Co-authored-by: Alexander Richardson <mail@alexrichardson.me>
Signed-off-by: Andres Amaya Garcia <andresag1118@gmail.com>
  • Loading branch information
andresag01 and arichardson authored Oct 4, 2024
commit 39fd3dad625dbb81e4ddf8c96486ec31637aeaf4
1 change: 1 addition & 0 deletions src/system.adoc
Original file line number Diff line number Diff line change
@@ -18,6 +18,7 @@ The fundamental rule for any CHERI system is that the tag and data are always ac

. Update any data bytes without also writing the tag
.. This implies clearing the tag if a non-CHERI aware bus master overwrites a capability in memory
. Read a tagged value with mismatched (stale or newer) data
. Set the tag without also writing the data.

NOTE: Clearing tags in memory does not necessarily require updating the associated data.
Loading
Oops, something went wrong.