diff --git a/src/level-ext.adoc b/src/level-ext.adoc index c3312e94..a2f1dfb7 100644 --- a/src/level-ext.adoc +++ b/src/level-ext.adoc @@ -100,7 +100,7 @@ endif::[] |============================================================================== ^1^ _Mode (<>) can only be set on a tagged capability when {cheri_default_ext_name} -is supported. Despite being encoded here it is *not* an architectural permission._ + +is supported, otherwise such encodings are reserved. Despite being encoded here it is *not* an architectural permission._ + ^2^ SL isn't applicable in these cases, but this value is reported by <> to simplify the rules followed by <> + ^3^ These entries are reserved when `LVLBITS=1` and in use when `LVLBITS=2`