diff options
| -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 af7542c4..64d18ff0 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -50,6 +50,11 @@ <p> </p> <ul> + <li><span style="background:"><font color="">Micro Kernels For Beginners</font></span><a href="http://LOCATION/MicroKernelsForBeginners">?</a>: (suggested page, better description needed) For experienced users who know little about microkernels but wish to learn about them. </li> + </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> |