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>