Software Systems

High-performance microkernels and virtualisation on ARM and segmented architectures


Carl van Schaik and Gernot Heiser

    Open Kernel Labs, Sydney, Australia


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

    title            = {High-Performance Microkernels and Virtualisation on {ARM} and Segmented Architectures},
    author           = {van Schaik, Carl and Gernot Heiser},
    month            = {jan},
    year             = {2007},
    organization     = {NICTA},
    booktitle        = {Proceedings of the 1st International Workshop on Microkernels for Embedded Systems (MIKES)},
    address          = {Sydney, Australia}