NICTA, Sydney, Australia
UNSW, Australia
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.
@inproceedings{vanSchaik_Heiser_07, address = {Sydney, Australia}, author = {van Schaik, Carl and Gernot Heiser}, booktitle = {International Workshop on Microkernels for Embedded Systems}, month = jan, organization = {NICTA}, paperurl = {https://trustworthy.systems/publications/papers/vanSchaik_Heiser_07.pdf}, title = {High-Performance Microkernels and Virtualisation on {ARM} and Segmented Architectures}, year = {2007} }