Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod, Gernot Heiser. A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. In Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017. ACM, 2017. [doi]
@inproceedings{ElphinstoneZMH17,
title = {A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4},
author = {Kevin Elphinstone and Amirreza Zarrabi and Kent Mcleod and Gernot Heiser},
year = {2017},
doi = {10.1145/3124680.3124727},
url = {http://doi.acm.org/10.1145/3124680.3124727},
researchr = {https://researchr.org/publication/ElphinstoneZMH17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017},
publisher = {ACM},
isbn = {978-1-4503-5197-3},
}