# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1419524860 0
# Node ID ad6dccc4fb4adf292524e9d876d4cc43c89729be
# Parent  5a0857371825f4314e7cb8ce0717589ecaf1699b
updated

diff -r 5a0857371825 -r ad6dccc4fb4a msc-projects-14.html
--- a/msc-projects-14.html	Thu Dec 25 16:12:01 2014 +0000
+++ b/msc-projects-14.html	Thu Dec 25 16:27:40 2014 +0000
@@ -592,6 +592,9 @@
   <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 microkernel operating systems, like
+  <A HREF="http://www.xenproject.org">Xen</A> or
+  <A HREF="http://www.openmirage.org">Mirage OS</A>
 </ul>
 </p>
 
@@ -610,7 +613,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Thu Dec 25 16:09:06 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu Dec 25 16:14:40 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>