/spl mu/-kernels must and can be small

  • Authors:
  • J. Liedtke

  • Affiliations:
  • -

  • Venue:
  • IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

For general acceptance, /spl mu/-kernels must be fast and not burden applications. For fulfilling these conditions, cache architectures require /spl mu/-kernels to be small. The L4 /spl mu/-kernel shows that smallness can be achieved.