@@ -65,7 +65,9 @@ <h3>
 
 <p>A link to the presentation given at FreeBSD Dev Summit '15 --- 50 minute
 version:
-<a href="http://prezi.com/hlylrelpxkfj/?utm_campaign=share&utm_medium=copy&rc=ex0share">Nested Kernel Presentation 45 Minutes</a></p>
+<a href="http://prezi.com/hlylrelpxkfj/?utm_campaign=share&utm_medium=copy&rc=ex0share">Prezi Nested Kernel Presentation 45 Minutes</a></p>
+<a href="http://nestedkernel.org/downloads/nestedkernel-prezi-pdf.pdf">PDF: Nested Kernel Presentation 45 Minutes</a></p>
+
 
 <p> Details on our prototype nested kernel, PerspicuOS, can be found <a
     href="http://nestedkernel.org/PerspicuOS/">here</a>. PerspicuOS retrofits