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