diff options
| author | Ognyan Kulev <ogi@fmi.uni-sofia.bg> | 2003-10-24 17:05:00 +0000 |
|---|---|---|
| committer | Ognyan Kulev <ogi@fmi.uni-sofia.bg> | 2003-10-24 17:05:00 +0000 |
| commit | 2916f77bce81e8ffe05a9096d1e61dfc08860808 (patch) | |
| tree | e366706a2b4779b3ab0b1325f416d3600862d408 /Mach | |
| parent | 22cacbc568b7ef6a2da722af7e6728baea1d7978 (diff) | |
none
Diffstat (limited to 'Mach')
| -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 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> |