µ-Kernels Must And Can Be Small

Abstract:

For a general acceptance, microkernels must be fast and not burden applications. For fulfilling these conditions, cache architectures require microkernels to be small. The L4 microkernel shows that smallness can be achieved.

BibTex:

@InProceedings{Liedtke96MicrokernelMustBeSmall,
  author = {Jochen Liedtke},
  title = {Microkernels Must And Can Be Small},
  booktitle = {Proceedings of the 5th IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS)},
  address = {Seattle, WA},
  month = oct,
  year = 1996,
  url = {http://l4ka.org/publications/}
}