Temporary update.

Author: kasanovic

src/rva23-profile.adoc

@@ -51,6 +51,21 @@ Incompatible changes are unlikely but remain possible.
 
 include::rva-profile-overview-body.adoc[]
 
+== Profile-Defined Extensions
+
+The RVA23 profile, as with earlier profiles, includes several new
+extensions defined directly in the profile text.  These
+profile-defined extensions name optional features or combinations of
+features that are already present in ratified specifications, but that
+were not previously explicitly named.  Once the profile is ratified,
+these extension definitions will move into the appropriate sections of
+the combined ISA manual. The combined ISA manual was not available at
+the start of this profile definition.  Future profile proposals will
+be presented as an update to the combined ISA manual, with new
+profile-defined extensions provided as edits to the appropriate
+sections of the combined SA manual.
+
+
 == RVA23 Profiles
 
 The RVA23 profiles are intended to align implementations of RISC-V
@@ -169,9 +184,20 @@ The following are new development options intended to become mandatory in a futu
 - *Zacas* Compare-and-Swap instructions.
 - *Ziccamoc* Main memory regions with both the cacheability and coherence PMAs
   must provide `AMOCASQ` level PMA support.
+
+NOTE: *Ziccamoc* This is a new profile-defined extension to ensure
+Compare and Swap instructions are properly supported in main memory
+regions.  The extension will be added to the PMA section of the
+privileged architecture manual.
+
 - *Zvbc* Vector carryless multiplication.
 - *Zama16b* Misaligned loads, stores, and AMOs to main memory regions that do not cross a naturally aligned 16-byte boundary are atomic.
 
+NOTE: *Ziama16b* This is a new profile-defined extension to represent
+the presence of the new Misaligned Atomicity Granule feature added in
+Priv-1.13.  The extension name will be added to the PMA section of the
+privileged architecture manual.
+
 ===== Expansion Options
 
 The following expansion options were also present in RVA22U64: