summaryrefslogtreecommitdiff
path: root/Mach
diff options
context:
space:
mode:
Diffstat (limited to 'Mach')
-rw-r--r--Mach/WebHome.mdwn5
1 files changed, 5 insertions, 0 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 544a8f25..8ec88db1 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -32,6 +32,11 @@
</ul>
<p>
</p>
+ <ul>
+ <li><span style="background:"><font color="">Micro Kernel Research</font></span><a href="http://LOCATION/MicroKernelResearch">?</a>: Papers on Mach related topics </li>
+ </ul>
+ <p>
+ </p>
</td>
<td>
</td>