summaryrefslogtreecommitdiff
path: root/microkernel/research.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-09-03 15:26:03 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-09-03 15:28:06 +0200
commit855af9a0ee8d1bdebff882a62104134a71044dba (patch)
tree00a93447c5c045df3cc69375de884e76b065ad4a /microkernel/research.mdwn
parent94aafdb76706abe3c0d2f0f06c8f37fbcdb1056e (diff)
Break up `Mach' and `Mig' hierarchies, merge them into `microkernel/mach/', `microkernel/mach/gnumach/', `microkernel/mach/mig/', and elsewhere.
Diffstat (limited to 'microkernel/research.mdwn')
-rw-r--r--microkernel/research.mdwn15
1 files changed, 15 insertions, 0 deletions
diff --git a/microkernel/research.mdwn b/microkernel/research.mdwn
new file mode 100644
index 00000000..4eefe602
--- /dev/null
+++ b/microkernel/research.mdwn
@@ -0,0 +1,15 @@
+## <a name="Research"> Research </a>
+
+Listed here are references to academical research papers related to Micro Kernels.
+
+* [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.
+
+* [The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems](http://citeseer.nj.nec.com/bershad92increasing.html) (1992)
+
+* [Linux Device Driver Emulation in Mach](http://citeseer.nj.nec.com/goel96linux.html) (1996)
+
+* [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)