From 2916f77bce81e8ffe05a9096d1e61dfc08860808 Mon Sep 17 00:00:00 2001
From: Ognyan Kulev <ogi@fmi.uni-sofia.bg>
Date: Fri, 24 Oct 2003 17:05:00 +0000
Subject: none

---
 Mach/WebHome.mdwn | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 793392eb..af7542c4 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -49,6 +49,11 @@
         </ul>
         <p>
         </p>
+        <ul>
+          <li><a href="http://i30www.ira.uka.de/teaching/pastcourses/lecture.php?courseid=80" target="_top">Microkernel construction</a> (lectures by the <a href="http://l4ka.org/projects/pistachio/" target="_top">L4Ka::Pistachio</a> team) </li>
+        </ul>
+        <p>
+        </p>
         <ul>
           <li> Other <nop>Mach kernels that can be of interest (noone even investigate yet if they can be of some use): <ul>
                 <li><a href="http://developer.apple.com/darwin/" target="_top">Darwin</a>: The kernel of <a href="http://www.apple.com/macosx/" target="_top">Max OS X</a> (<a href="http://developer.apple.com/techpubs/macosx/Darwin/General/KernelProgramming/" target="_top">Kernel Programming book</a>) </li>
-- 
cgit v1.2.3