research

Edit
History
Source
?Discussion

Research

Listed here are references to academical research papers related to Micro Kernels.

Networking Performance for Microkernels (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 (1992)
Linux Device Driver Emulation in Mach (1996)
Microkernels Meet Recursive Virtual Machines (1996)
The Flux OS Toolkit: Reusable Components for OS Implementation (1997)
The Flux OSKit: A Substrate for Kernel and Language Research (1997)

Links: microkernel

Copyright © 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 The Contributing Authors

License:

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.

Last edited 2007-09-03 13:26:03 UTC