@@ -63,11 +63,9 @@ <h3>
 <p>A link to the presentation given at ASPLOS '15:
 <a href="http://prezi.com/in6qr3l92ffc/?utm_campaign=share&amp;utm_medium=copy">http://prezi.com/in6qr3l92ffc/?utm_campaign=share&amp;utm_medium=copy</a></p>
 
-<p> PerspicuOS, our prototype nested kernel can be found <a
-    href="http://nestedkernel.org/PerspicuOS/">here</a>, which details how to
-build and install PerspicuOS. PerspicuOS retrofits the nested kernel design
-into FreeBSD 9.0 modified version of the nested kernel for the AMD64
-architecture.
+<p> Details on our prototype nested kernel, PerspicuOS, can be found <a
+    href="http://nestedkernel.org/PerspicuOS/">here</a>. PerspicuOS retrofits
+the nested kernel design into FreeBSD 9.0 for the AMD64 architecture.
 
 
       </section>