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 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> |