@inproceedings{Elphinstone_ZMH_17,
    month            = sep,
    numpages         = {8 p.},
    doi              = {https://doi.org/10.1145/3124680.3124727},
    publisher        = {ACM},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Elphinstone_ZMH_17.pdf},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    author           = {Elphinstone, Kevin and Zarraby, Amirreza and McLeod, Kent and Heiser, Gernot},
    title            = {{A} Performance Evaluation of Rump Kernels as a Multi-server {OS} Building Block on {seL4}},
    address          = {India},
    year             = {2017},
    date             = {2017-9-3}
  }