# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1449142663 0
# Node ID 39daa31ad0b3ec6337e53818b2502ee3b20bab40
# Parent  37afaead31dd3dd6d3b94db26fb5bce9f11ddddf
updated

diff -r 37afaead31dd -r 39daa31ad0b3 msc-projects-15.html
--- a/msc-projects-15.html	Mon Nov 30 23:56:51 2015 +0000
+++ b/msc-projects-15.html	Thu Dec 03 11:37:43 2015 +0000
@@ -595,7 +595,7 @@
   <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>)  
 <li>Anything related to low-cost, hands-on hardware like Raspberry Pi, Arduino,
   <A HREF="http://en.wikipedia.org/wiki/Cubieboard">Cubieboard</A>
-<li>Anything related to unkernel operating systems, like
+<li>Anything related to unikernel operating systems, like
   <A HREF="http://www.xenproject.org">Xen</A> or
   <A HREF="http://www.openmirage.org">Mirage OS</A>
 <li>Any kind of applied hacking, for example the Arduino-based keylogger described
@@ -619,7 +619,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Mon Nov 30 23:56:28 GMT 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Dec  3 11:37:24 GMT 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>