\newcommand{\etalchar}[1]{$^{#1}$}
\begin{thebibliography}{ABB{\etalchar{+}}86}

\bibitem[ABB{\etalchar{+}}86]{machorig}
Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid,
  Avadis Tevanian, and Michael Young.
\newblock {Mach: A New Kernel Foundation for UNIX Development}.
\newblock In {\em Proceedings of the Summer 1986 USENIX Conference}, 1986.

\bibitem[Aco92]{prm}
Acorn Computers Limited.
\newblock {\em RISC OS 3 Programmer's Reference Manual}, December 1992.

\bibitem[Adv95]{arm}
Advanced RISC Machines Ltd.
\newblock {\em ARM710a Preliminary Data Sheet}, {ARM DDI 0022D} edition, July
  1995.

\bibitem[CDK94]{coulouris}
Coulouris, Dollimore, and Kindberg.
\newblock {\em Distributed Systems Concepts \& Design}.
\newblock Addison-Wesley, 2nd edition, 1994.

\bibitem[CPS95]{nfs}
Brent Callaghan, Brian Pawlowski, and Peter Staubach.
\newblock {RFC 1813}.
\newblock Technical report, Internet Engineering Task Force, June 1995.

\bibitem[EFF{\etalchar{+}}97]{flick}
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, and Gary Lindstrom.
\newblock Flick: {A} flexible, optimizing {IDL} compiler.
\newblock In {\em Proceedings of the {ACM} {SIGPLAN} Conference on Programming
  Language Design and Implementation ({PLDI}-97)}, volume 32, 5 of {\em ACM
  SIGPLAN Notices}, pages 44--56, New York, June15--18~ 1997. ACM Press.

\bibitem[HHL{\etalchar{+}}97]{muperf}
Hermann H{\"{a}}rtig, Michael Hohmuth, Jochen Lidtke, Sebastian
  Sch{\"{o}}nberg, and Jean Wolter.
\newblock {The Performance of $\mu$-Kernel-Based Systems}.
\newblock In {\em Proceedings of the sixteenth ACM Symposium on Operating
  System Principles}, volume 31-5, December 1997.

\bibitem[HR96]{unixl3}
Michael Hohmuth and Sven Rudolph.
\newblock {Steps Towards Porting a Unix Single Server to the L3 Microkernel}.
\newblock Technical report, Dresden University of Technology, April 1996.

\bibitem[Lie92]{clans}
Jochen Liedtke.
\newblock {Clans \& Chiefs}.
\newblock In {\em 12. GI/ITG-Fachtagung Architektur von Rechensystemen}, pages
  294--305. Springer, 1992.

\bibitem[Lie93]{ipcdesign}
Jochen Liedtke.
\newblock Improving {IPC} by kernel design.
\newblock In Barbara Liskov, editor, {\em Proceedings of the 14th Symposium on
  Operating Systems Principles}, pages 175--188, New York, NY, USA, December
  1993. ACM Press.

\bibitem[Lie95]{lied95}
Jochen Liedtke.
\newblock On $\mu$-kernel construction.
\newblock In {\em Proceedings of the 15th Symposium on Operating Systems
  Principles}, pages 237--250. ACM Press, December 1995.

\end{thebibliography}