## <a name="Research"> Research </a>

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