From ac9735778280d308f5f280cd070f66171d3f1664 Mon Sep 17 00:00:00 2001
From: Andres Amaya Garcia <andresamaya@google.com>
Date: Fri, 7 Feb 2025 15:17:54 +0800
Subject: [PATCH] Turn store trap TODO into NOTE

---
 src/riscv-integration.adoc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/riscv-integration.adoc b/src/riscv-integration.adoc
index f2fcfe02..2f260b31 100644
--- a/src/riscv-integration.adoc
+++ b/src/riscv-integration.adoc
@@ -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