diff --git a/src/machine.adoc b/src/machine.adoc index 5e003bff9..c9412578e 100644 --- a/src/machine.adoc +++ b/src/machine.adoc @@ -2230,17 +2230,13 @@ shown in <>, that controls security features. .Machine security configuration (`mseccfg`) register. include::images/wavedrom/mseccfg.edn[] -The definitions of the SSEED and USEED fields will be furnished by the -forthcoming entropy-source extension, Zkr. Their allocations within -`mseccfg` may change prior to the ratification of that extension. +The definitions of the SSEED and USEED fields are furnished by the +entropy-source extension, Zkr. -The definitions of the RLB, MMWP, and MML fields will be furnished by -the forthcoming PMP-enhancement extension, Smepmp. Their allocations -within `mseccfg` may change prior to the ratification of that extension. +The definitions of the RLB, MMWP, and MML fields are furnished by the +PMP-enhancement extension, Smepmp. -The definition of the PMM field will be furnished by the forthcoming -Smmpm extension. Its allocation within `mseccfg` may change prior to the -ratification of that extension. +The definition of the PMM field is furnished by the Smmpm extension. The Zicfilp extension adds the `MLPE` field in `mseccfg`. When `MLPE` field is 1, Zicfilp extension is enabled in M-mode. When the `MLPE` field is 0, the diff --git a/src/supervisor.adoc b/src/supervisor.adoc index 8ad8fe51d..10231aa2e 100644 --- a/src/supervisor.adoc +++ b/src/supervisor.adoc @@ -816,13 +816,10 @@ to implement that we consider it worth supporting even if only rarely enabled. ==== -The definition of the CBZE field will be furnished by the forthcoming -Zicboz extension. Its allocation within `senvcfg` may change prior to -the ratification of that extension. +The definition of the CBZE field is furnished by the Zicboz extension. -The definitions of the CBCFE and CBIE fields will be furnished by the -forthcoming Zicbom extension. Their allocations within `senvcfg` may -change prior to the ratification of that extension. +The definitions of the CBCFE and CBIE fields are furnished by the Zicbom +extension. The definition of the PMM field is furnished by the Ssnpm extension.