diff options
| author | John Allsup <allsupj@for.mat.bham.ac.uk> | 2003-10-29 20:24:00 +0000 |
|---|---|---|
| committer | John Allsup <allsupj@for.mat.bham.ac.uk> | 2003-10-29 20:24:00 +0000 |
| commit | 634ec01bd2e4c7de97b6aa3c88f0cb361348f1ea (patch) | |
| tree | 96f9a558ac38aaf74a2170b5a658006ba9770efe /Mach/WebHome.mdwn | |
| parent | 9129f425474182a6d164ed620c031b99c5c6753d (diff) | |
none
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 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> |