Skip to content

Commit

Permalink
Write note about traps for capability stores (#528)
Browse files Browse the repository at this point in the history
Add a note indicating that capability stores may trap in future
extensions when the authorizing capability does not grant capability
write permissions. Also remove outdated TODO.

Fixes #476
  • Loading branch information
andresag01 authored Feb 7, 2025
1 parent ae5ba0b commit bddbe04
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/riscv-integration.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -224,8 +224,9 @@ capability written to memory is cleared if the authorizing capability does not
grant permission to write capabilities (i.e. both <<w_perm>> and <<c_perm>>
must be set in AP).

WARNING: #TODO: these cases may cause exceptions in the future - we need a way
for software to discover and/or control the behavior#
NOTE: Future extensions to {cheri_base_ext_name} may add mechanisms that cause
stores to raise exceptions when the authorizing capability does not grant both
<<w_perm>> and <<c_perm>>.

[#section_existing_riscv_insns]
=== Existing RISC-V Instructions
Expand Down

0 comments on commit bddbe04

Please sign in to comment.