summaryrefslogtreecommitdiff
path: root/Mach/WebHome.mdwn
diff options
context:
space:
mode:
authorOgnyan Kulev <ogi@fmi.uni-sofia.bg>2003-10-24 17:05:00 +0000
committerOgnyan Kulev <ogi@fmi.uni-sofia.bg>2003-10-24 17:05:00 +0000
commit2916f77bce81e8ffe05a9096d1e61dfc08860808 (patch)
treee366706a2b4779b3ab0b1325f416d3600862d408 /Mach/WebHome.mdwn
parent22cacbc568b7ef6a2da722af7e6728baea1d7978 (diff)
none
Diffstat (limited to 'Mach/WebHome.mdwn')
-rw-r--r--Mach/WebHome.mdwn5
1 files changed, 5 insertions, 0 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 793392eb..af7542c4 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -50,6 +50,11 @@
<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>
<li><a href="http://www.kerneltrap.org/node.php?id=543" target="_top">Darwin binary compatibilty</a> in <a href="http://www.netbsd.org/" target="_top">NetBSD</a></li>