diff options
| -rw-r--r-- | Mach/MicroKernelResearch.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Mach/MicroKernelResearch.mdwn b/Mach/MicroKernelResearch.mdwn index 4f9ce72e..ad6a0300 100644 --- a/Mach/MicroKernelResearch.mdwn +++ b/Mach/MicroKernelResearch.mdwn @@ -5,3 +5,7 @@ Listed here is references to academical research papers related to Micro Kernels * <http://citeseer.nj.nec.com/maeda92networking.html> -- An article by Chris Maeda and Brian N. Bershad discussing microkernel optimizations of an UDP driver. -- [[Main/JoachimNilsson]] - 05 Nov 2002 + +\* <http://www.cs.utah.edu/flux/papers/oskit-sosp97.html> -- The Flux OSKit: A Substrate for Kernel and Language Research + +-- [[Main/MattGrant]] - 30 Jan 2003 |