diff options
Diffstat (limited to 'Mach/WebHome.mdwn')
| -rw-r--r-- | Mach/WebHome.mdwn | 5 |
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> |