Skip to content

Commit

Permalink
Write note about traps for capability stores (riscv#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 riscv#476
  • Loading branch information
andresag01 authored and tariqkurd-repo committed Feb 10, 2025
1 parent aabff08 commit d4e2ed3
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 @@ -222,8 +222,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 d4e2ed3

Please sign in to comment.