summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Mach/MicroKernelResearch.mdwn14
1 files changed, 9 insertions, 5 deletions
diff --git a/Mach/MicroKernelResearch.mdwn b/Mach/MicroKernelResearch.mdwn
index ad6a0300..4eefe602 100644
--- a/Mach/MicroKernelResearch.mdwn
+++ b/Mach/MicroKernelResearch.mdwn
@@ -1,11 +1,15 @@
## <a name="Research"> Research </a>
-Listed here is references to academical research papers related to Micro Kernels.
+Listed here are 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.
+* [Networking Performance for Microkernels](http://citeseer.nj.nec.com/maeda92networking.html) (1992) -- An article by Chris Maeda and Brian N. Bershad discussing microkernel optimizations of an UDP driver.
--- [[Main/JoachimNilsson]] - 05 Nov 2002
+* [The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems](http://citeseer.nj.nec.com/bershad92increasing.html) (1992)
-\* <http://www.cs.utah.edu/flux/papers/oskit-sosp97.html> -- The Flux OSKit: A Substrate for Kernel and Language Research
+* [Linux Device Driver Emulation in Mach](http://citeseer.nj.nec.com/goel96linux.html) (1996)
--- [[Main/MattGrant]] - 30 Jan 2003
+* [Microkernels Meet Recursive Virtual Machines](http://citeseer.nj.nec.com/ford96microkernel.html) (1996)
+
+* [The Flux OS Toolkit: Reusable Components for OS Implementation](http://citeseer.nj.nec.com/ford97flux.html) (1997)
+
+* [The Flux OSKit: A Substrate for Kernel and Language Research](http://www.cs.utah.edu/flux/papers/oskit-sosp97.html) (1997)