Clarify GCPERM result when the level extension is not implemented

riscv · Jan 7, 2025 · bc03fa7 · bc03fa7
1 parent 8a556fc
commit bc03fa7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/insns/gcperm_32bit.adoc b/src/insns/gcperm_32bit.adoc
@@ -33,6 +33,9 @@ permission bits in `rd` are set to 0.
 [#gcperm_bit_field]
 include::../img/acperm_bit_field.edn[]
 
+NOTE: When {cheri_levels_ext_name} is not implemented, the `CL`, `SL`, `EL` and EL fields always report 0.
+Therefore, the presence of the {cheri_levels_ext_name} can be detected by checking the <<GCPERM>> result on the <<infinite-cap>>.
+
 Exceptions::
 include::require_cre.adoc[]