diff --git a/src/introduction.adoc b/src/introduction.adoc index b51dc3d9..abacd76b 100644 --- a/src/introduction.adoc +++ b/src/introduction.adoc @@ -109,7 +109,7 @@ CAUTION: The extension names are provisional and subject to change. |<> | Stable | This extension is a candidate for freezing |<> | Prototype | This extension is a prototype, software is being developed to use it to increase the maturity level |<> | Prototype | This extension is a prototype, software is being developed to use it to increase the maturity level -|<> | Prototype | This extension is a prototype, software is being developed to use it to increase the maturity level +|<> with `LVLBITS=1` | Prototype | This extension is a prototype, software is being developed to use it to increase the maturity level. |============================================================================== {cheri_base_ext_name} is defined as the base extension which all CHERI RISC-V diff --git a/src/level-ext.adoc b/src/level-ext.adoc index a17457e2..6375acb5 100644 --- a/src/level-ext.adoc +++ b/src/level-ext.adoc @@ -82,8 +82,8 @@ endif::[] |Bits[4:3]| R | W | C | LM | EL | SL | X | ASR | Mode^1^ | | 0-2 10+| reserved | 3 | ✔ | | ✔ | | | 0^1^ | | | N/A | Data & Cap R0 (without <>) -| 4 | ✔ | ✔ | ✔ | ✔ | | _(3)_ | | | N/A | Reserved for `LVLBITS=2` -| 5 | ✔ | ✔ | ✔ | ✔ | | _(2)_ | | | N/A | Reserved for `LVLBITS=2` +| 4 | ✔ | ✔ | ✔ | ✔ | | _(3)_ | | | N/A | _Reserved_ when `LVLBITS=1` ^2^ +| 5 | ✔ | ✔ | ✔ | ✔ | | _(2)_ | | | N/A | _Reserved_ when `LVLBITS=1` ^2^ | 6 | ✔ | ✔ | ✔ | ✔ | | 1 | | | N/A | Data & Cap RW (with store _local_, no <>) | 7 | ✔ | ✔ | ✔ | ✔ | | 0 | | | N/A | Data & Cap RW (no store _local_, no <>) 11+| *Quadrant 3: Capability data read/write* @@ -92,13 +92,14 @@ endif::[] |Bits[4:3]| R | W | C | LM | EL | SL | X | ASR | Mode^1^ | | 0-2 10+| reserved | 3 | ✔ | | ✔ | ✔ | ✔ | 0^1^ | | | N/A | Data & Cap R0 -| 4 | ✔ | ✔ | ✔ | ✔ | ✔ | _(3)_ | | | N/A | Reserved for `LVLBITS=2` -| 5 | ✔ | ✔ | ✔ | ✔ | ✔ | _(2)_ | | | N/A | Reserved for `LVLBITS=2` +| 4 | ✔ | ✔ | ✔ | ✔ | ✔ | _(3)_ | | | N/A | _Reserved_ when `LVLBITS=1` ^2^ +| 5 | ✔ | ✔ | ✔ | ✔ | ✔ | _(2)_ | | | N/A | _Reserved_ when `LVLBITS=1` ^2^ | 6 | ✔ | ✔ | ✔ | ✔ | ✔ | 1 | | | N/A | Data & Cap RW (with store _local_) | 7 | ✔ | ✔ | ✔ | ✔ | ✔ | 0 | | | N/A | Data & Cap RW (no store _local_) |============================================================================== -^1^ SL isn't applicable in these cases, but this value is reported by <> to simplify the rules followed by <> +^1^ SL isn't applicable in these cases, but this value is reported by <> to simplify the rules followed by <> + +^2^ These entries are reserved when `LVLBITS=1` and in use when `LVLBITS=2` [#section_cap_level_change] === Changing capability levels and permissions