From 157e5c275c7649837afe7c3911dc0fc1b725679e Mon Sep 17 00:00:00 2001 From: Krste Asanovic Date: Sun, 6 Oct 2024 23:51:48 -0700 Subject: [PATCH] Added profile-defined extension text. --- src/rv-profile-defined-extensions.adoc | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/rv-profile-defined-extensions.adoc diff --git a/src/rv-profile-defined-extensions.adoc b/src/rv-profile-defined-extensions.adoc new file mode 100644 index 0000000..2b9efbd --- /dev/null +++ b/src/rv-profile-defined-extensions.adoc @@ -0,0 +1,13 @@ +== Profile-Defined Extensions + +This 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 ISA manual.