High-performance microkernels and virtualisation on ARM and segmented architectures

Authors

Carl van Schaik and Gernot Heiser

    School of Computer Science and Engineering
    University of New South Wales
    Sydney 2052 Australia
    
    NICTA, Sydney, Australia

    Open Kernel Labs, Sydney, Australia

Abstract

This paper describes the techniques used to achieve high context-switching performance on ARM processors for the L4 microkernel and a para-virtualised Linux running on top. We examine how the previously-published techniques can be used in L4 with minimal changes to the kernel API. We also propose future API changes which make it easier to maximise memory-management performance, not only on ARM but also on architectures supporting a segmented memory model.

BibTeX Entry

  @inproceedings{vanSchaik_Heiser_07,
    title            = {High-Performance Microkernels and Virtualisation on {ARM} and Segmented Architectures},
    booktitle        = {1st MIKES},
    author           = {van Schaik, Carl and Gernot Heiser},
    year             = {2007},
    month            = {Jan},
    editor           = {xyz},
    address          = {Sydney, Australia},
    organization     = {NICTA},
    pages            = {xyz}
  }

Download

• vanSchaik_Heiser_07.pdf