diff --git a/Interaction_with_other_proposals.adoc b/Interaction_with_other_proposals.adoc
index 8ebad59..762cd8a 100644
--- 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.
\ No newline at end of file
diff --git a/header.adoc b/header.adoc
index 495ec3f..8509bfb 100644
--- 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
index c6d137a..2166b3a 100644
Binary files a/rv-spmp-spec.pdf and b/rv-spmp-spec.pdf differ