diff --git a/src/cheri/riscv-hybrid-integration.adoc b/src/cheri/riscv-hybrid-integration.adoc index 40545493d..59a5a695e 100644 --- a/src/cheri/riscv-hybrid-integration.adoc +++ b/src/cheri/riscv-hybrid-integration.adoc @@ -34,8 +34,10 @@ NOTE: Instructions which are _modified_ on an {cheri_base_ext_name} architecture All <> instructions, and associated CSRs, are available in addition to RVI/RVE and all supported non-CHERI extensions. + The authorizing capability for memory access is <> (as opposed to `rs1`). -That is, all memory accesses, including <> and <>, are implicitly authorized by <> and only the memory address is sourced from `rs1`. -<> is the exception to this rule, as <> authorizes it. +That is, all memory accesses, including <>, <> are implicitly authorized by <> and only the memory address is sourced from `rs1`. ++ +NOTE: It is recommended to authorize the prefetched address of <> against <> instead of <>. + High performance implementations may not have access to the <> available to perform this check, as <> bounds are not otherwise required in the load/store unit. + NOTE: <> is also used to authorize {cheri_base_ext_name} specific memory instructions such as <> and <>. +