@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}
  }