diff options
Diffstat (limited to 'Mach/MicroKernelResearch.mdwn')
| -rw-r--r-- | Mach/MicroKernelResearch.mdwn | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Mach/MicroKernelResearch.mdwn b/Mach/MicroKernelResearch.mdwn deleted file mode 100644 index 4eefe602..00000000 --- a/Mach/MicroKernelResearch.mdwn +++ /dev/null @@ -1,15 +0,0 @@ -## <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) |