Merge pull request #11 from ybc-alkaid/arc-hypervisor

remove the subsection about interaction with hypervisor extension
riscv · Oct 15, 2023 · 185d2ee · 185d2ee
2 parents b9cf835 + 32373cd
commit 185d2ee
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/Interaction_with_other_proposals.adoc b/Interaction_with_other_proposals.adoc
@@ -7,3 +7,4 @@ This section discusses how SPMP interacts with other proposals.
 
 *J-extension pointer masking proposal*: When both PM and SPMP are used, SPMP checking should be performed using the actual addresses generated by PM (pointer masking). 
 
+*Hypervisor extension*: There are extensions in development to support SPMP in guest OS and hypervisors.
diff --git a/header.adoc b/header.adoc
@@ -63,8 +63,8 @@ include::contributors.adoc[]
 include::intro.adoc[]
 include::spmp_spec.adoc[]
 include::Summary_of_Hardware_Changes.adoc[]
-include::Interaction_with_hypervisor_extension.adoc[]
+// include::Interaction_with_hypervisor_extension.adoc[]
 include::Interaction_with_other_proposals.adoc[]
 //the index must precede the bibliography
-include::index.adoc[]
-include::bibliography.adoc[]
+// include::index.adoc[]
+// include::bibliography.adoc[]
diff --git a/rv-spmp-spec.pdf b/rv-spmp-spec.pdf
Original file line number	Diff line number	Diff line change
Expand Up		@@ -7,3 +7,4 @@ This section discusses how SPMP interacts with other proposals.

		J-extension pointer masking proposal: When both PM and SPMP are used, SPMP checking should be performed using the actual addresses generated by PM (pointer masking).

		Hypervisor extension: There are extensions in development to support SPMP in guest OS and hypervisors.