From bc03fa7d12f0a328a5438e1a383f11ea2b5a0618 Mon Sep 17 00:00:00 2001
From: Alex Richardson <alexrichardson@google.com>
Date: Tue, 7 Jan 2025 11:50:27 -0800
Subject: [PATCH] Clarify GCPERM result when the level extension is not
 implemented

---
 src/insns/gcperm_32bit.adoc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/insns/gcperm_32bit.adoc b/src/insns/gcperm_32bit.adoc
index 36c06a42..6d8e9ff3 100644
--- 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[]