Skip to content

Commit

Permalink
Turn store trap TODO into NOTE
Browse files Browse the repository at this point in the history
  • Loading branch information
andresag01 committed Feb 7, 2025
1 parent ae5ba0b commit ac97357
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 ac97357

Please sign in to comment.