summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Mach/WebHome.mdwn4
1 files changed, 3 insertions, 1 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index adb3379e..67078d70 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -17,8 +17,10 @@
</ul>
<p>
</p>
+ <p>
+ </p>
<ul>
- <li><a href="http://free.top.bg/bugar/OS/" target="_top">Mach: Principles and concepts</a> (in Bulgarian, compilation by Atanas Mavrov) </li>
+ <li><a href="http://www.cs.cornell.edu/Info/People/ulfar/ukernel/ukernel.html" target="_top">Microkernels</a> (an HTML review of the area from late 1996) </li>
</ul>
<p>
</p>