Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 25 Dec 2014 16:27:40 +0000
changeset 357 ad6dccc4fb4a
parent 356 5a0857371825
child 358 26fc8f69ce01
updated
msc-projects-14.html file | annotate | diff | comparison | revisions 
--- 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>
public_html